I believe “without” might be useful only for removing types from intersection types:
A & B without B is the same as A
At runtime this can be A or any subtype of A. There is no constraint left for B. The runtime type can be B but does not need to.
1 Like