Skip to content

Draft: Unified variable namespace

See comment !11134 (comment 535181)

So what if, with RequiredTypeArguments we simply killed off tvName and always used varName? Then there would be no faffing around with promotion/demotion. Would that not be simpler? Perhaps even a lot simpler?

Merge request reports