New fix for #580, prevent intersections in args to invariant supertypes