Skip to content

Comments

[ty] Fix is_disjoint_from with @final classes#21167

Merged
ibraheemdev merged 1 commit intomainfrom
ibraheem/disjoint-final
Oct 31, 2025
Merged

[ty] Fix is_disjoint_from with @final classes#21167
ibraheemdev merged 1 commit intomainfrom
ibraheem/disjoint-final

Commits

Commits on Oct 31, 2025