Infer from annotated return type nodes before assigning contextual parameter types

Infer from annotated return type nodes before assigning contextual parameter types #6755