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