Fix #21295: Restrict provablyDisjoint with Nothings in invariant …
          
            #948
        
      | Job | Run time | 
|---|---|
| 37s | |
| 37s | 
provablyDisjoint with Nothings in invariant …
          
            #948
        
| Job | Run time | 
|---|---|
| 37s | |
| 37s |