Backport "Fix `derivesFrom` false negative in `provablyDisjointClasses`" to 3.7.4#23990

Merged

WojciechMazur merged 4 commits intorelease-3.7.4from

release-3.7.4_backport-23834

Sep 22, 2025

Commits on Sep 20, 2025

Fix `derivesFrom` false negative in `provablyDisjointClasses`

EugeneFlesselle
authored and
WojciechMazur
committed
Close #17132 as neg test

EugeneFlesselle
authored and
WojciechMazur
committed
Use more `mayDeriveFrom` where appropriate in `provablyDisjoint`

EugeneFlesselle
authored and
WojciechMazur
committed
Address review comments

EugeneFlesselle
authored and
WojciechMazur
committed