Backport "Fix #21295: Restrict `provablyDisjoint` with `Nothing`s in invariant type params." to 3.6.2#21906

Merged

WojciechMazur merged 1 commit intorelease-3.6.2from

release-3.6.2-backport-21891

Nov 8, 2024

Commits on Nov 6, 2024

Fix #21295: Restrict `provablyDisjoint` with `Nothing`s in invariant type params.

sjrd
authored and
WojciechMazur
committed