Skip to content

Comments

[red-knot] optimize is_subtype_of for literals#17394

Merged
carljm merged 2 commits intomainfrom
cjm/bigunions2
Apr 14, 2025
Merged

[red-knot] optimize is_subtype_of for literals#17394
carljm merged 2 commits intomainfrom
cjm/bigunions2

Commits

Commits on Apr 14, 2025