should type[bool] and type[int] be considered overlapping?

[Dr-Irv]

See python/mypy#14772

Would like to hear the opinion of @erictraut here, as pyright does not flag this as an error (which is correct IMHO)

[erictraut]

These are overlapping overloads, and pyright reports them as such if you enable reportOverlappingOverload. Mypy is doing the right thing.