I put the comment there because it applies to the case when ty == Tvoid.

Where should I put it instead?