Like with GetterMayThrowException and SetterMayThrowException, we should remove the need for MayThrowException as used on getters/setters and operations, as it can be deduced by the return value being an ExceptionOr.
*** This bug has been marked as a duplicate of bug 180019 ***
Oops, not a duplicate.
Actually, I am using bug 180019 for the remainder, so closing. *** This bug has been marked as a duplicate of bug 180019 ***