Many developers would like to be able to declare the return type of a function. The basic idea of declaring a return type has been included in at least three RFCs and has been discussed in a few other places (see references). This RFC proposes a different approach from previous RFC's to accomplish this goal in a simple way. Declaring return types has several motivators and use-cases: Prevent sub-t