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

sjrd merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-i21295dotty-staging/dotty:fix-i21295Copy head branch name to clipboard