Use the return value of a function to infer a type for the "ret" statement

[pcwalton]

Currently, statements like "ret none;" don't work because the typechecker isn't smart enough to infer the type parameter from the explicit function signature.

[graydon]

WONTFIX (not required for bootstrapping, should work in rustc already; reopen if not)