Skip to content

[red-knot] handle unions on the LHS of is_subtype_of#13857

Merged
sharkdp merged 1 commit intomainfrom david/handle-lhs-union-in-is_subtype_ofOct 21, 2024
+8

Commits

Commits on Oct 21, 2024