[red knot] add Type::is_disjoint_from
and intersection simplifications
#34170
Job | Run time |
---|---|
17s | |
1m 42s | |
33s | |
9s | |
1m 23s | |
1m 24s | |
1m 25s | |
1m 16s | |
1m 24s | |
1m 24s | |
27s | |
1m 23s | |
1m 10s | |
1m 8s | |
57s | |
0s | |
1s | |
1s | |
1s | |
16m 5s |