Adds improved messages for closures where returned type does not match the inferred return lifetime of the closure.