Fix #21295: Restrict provablyDisjoint with Nothings in invariant type params.

Fix #21295: Restrict provablyDisjoint with Nothings in invariant type params. #33076