Strict equality false positive with lists having different item types

Strict equality false positive with lists having different item types: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). a = C() b = D() C() == D() No error print(a == b) error: Non-overlapping equality check (left operand type: "List C ", right operand type: "List D…

The task

a = [C()] b = [D()] C() == D() # No error print(a == b) # error: Non-overlapping equality check (left operand type: "List[C]", right operand type: "List[D]") ```

Part of FineEnvs/MiMo-V2.6-RL-harbor-code.