Show type info of yield

[falsandtru]

@rbuckton yield keyword should show its argument type and return type when a cursor is put on there.

[sandersn]

Good idea, although I don't think we produce yield's type when checking, although this might have recently changed.

[falsandtru]

In fact, finding a break of type checking such as #32248 (yield wrongly returns any type.) is impossible when we can't directly check a type of yield. When yield argument type is any, we can't know it. When yield return type is any, we can't know it without seeing an inferred type via a variable.

[falsandtru]

@sandersn @rbuckton I recommend you to release this feature with the next release to make complete user experience of enhanced generators.

[Kingwl]

What is the expected display?
Similar to NewKeyword? or something like (TNext) yield (T)

[falsandtru]

I expect it.

[Kingwl]

Expect which one🤦🏻‍♂️

[falsandtru]

Ah, I meant (TNext) yield (T).

[Kingwl]

@DanielRosenwasser Any suggestions？🙋🏻‍♂️