When entering a type context, 'yield' should be allowed (as long as you're not in strict mode).