`reportUnnecessaryComparison` does not take non-overlapping type parameters into account

[DetachHead]

def asdf(a: list[int], b: list[str]):
    if a == b: # no error
        ...

playground

[erictraut]

Pyright is working as intended here, so I don't consider this a bug.