Tuple[..., fallback=T] isn't a subtype of T

[rwbarton]

A program like this ought to type check, but doesn't:

from typing import NamedTuple

class A: pass
def f(x: A) -> None: pass

class B(NamedTuple('B', [('i', int)]), A): pass
f(B(1))  # E: Argument 1 to "f" has incompatible type "B"; expected "A"

(Fixing this wouldn't help with #1432 without adding the reverse subtyping relation as well, but it would fix #1485 as long as constraint inference is also updated accordingly.)

[elazarg]

There's no such error now. I think #2091 fixed this.

[ilevkivskyi]

Yes, it looks like this has been fixed.