Specification: The return type of a function literal needs to take inference into account

Section 'Function Expressions' in the language specification mentions that type inference is assumed to have taken place already, and that it may provide a return type for any given function literal.

But the text below does not allow for taking such a provided-by-inference return type into account when computing the static (and, consequently, dynamic) type of the function. This needs to be fixed.