Fix `derivesFrom` false negative in `provablyDisjointClasses`#23834

Merged

EugeneFlesselle merged 4 commits intoscala:mainfrom

dotty-staging:mayDeriveFrom

Aug 29, 2025

Commits on Aug 28, 2025

Commits on Aug 29, 2025

Address review comments
EugeneFlesselle
committed