Changing alias relate or the way we define opaque types can cause this to result in ambiguity instead. Fundamentally we want exists<'0, '1> alias-relate(Tait<'0>, Tait<'1>) to hold inside of the defining scope of Tait, regardless of whether we actually define Tait.
This example fails with overflow in the new solver right now
Changing alias relate or the way we define opaque types can cause this to result in ambiguity instead. Fundamentally we want
exists<'0, '1> alias-relate(Tait<'0>, Tait<'1>)
to hold inside of the defining scope ofTait
, regardless of whether we actually defineTait
.