Currently the check is only against optionals directly declared. It should also look at calls and check their @return!
@return!
c3lang
