added variance inference test with method scoped type variable by randolf-scholz · Pull Request #2287 · python/typing

Fixes #2281

This adds a conformance test checking that method scoped type-variables do not influence variance inference, in accordance with the spec.

I understand why you want to clarify this and I'm generally supportive.

Would this be considered a spec change? I'm not quite sure if this should be documented and therefore might need a discuss thread. In any case I would like to at least hear the opinions of the Mypy devs here.