Skip to content

Optimize subtype? by aborting early#14561

Merged
josevalim merged 1 commit intomainfrom
jv-optimize-subtype
Jun 7, 2025
Merged

Optimize subtype? by aborting early#14561
josevalim merged 1 commit intomainfrom
jv-optimize-subtype

Commits

Commits on Jun 7, 2025