Fix #21295: Restrict provablyDisjoint with Nothings in invariant type params.#21891
Merged
sjrd merged 1 commit intoscala:mainfrom Nov 6, 2024
provablyDisjoint with Nothings in invariant type params.#21891