Fix #21295: Restrict provablyDisjoint with Nothings in invariant type params.#21891
Merged
sjrd merged 1 commit intoscala:mainfrom dotty-staging:fix-i21295Nov 6, 2024
+27-2
provablyDisjoint with Nothings in invariant type params.#21891