Fix "Subtyping test returned a reasoning with an invalid path" for mismatches with negations of unions and intersections #2452
background
wait
wait-all
cancel
parallel
Loading