Simple type-matching case of return -> goto.