Skip to content

Commit

Permalink
update test description
Browse files Browse the repository at this point in the history
  • Loading branch information
lcnr committed Oct 10, 2024
1 parent b5b5046 commit 8a5ca41
Showing 1 changed file with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@
//@ check-pass

// The new trait solver does not return region constraints if the goal
// is still ambiguous. This causes the following test to fail with ambiguity,
// even though `(): LeakCheckFailure<'!a, V>` would return `'!a: 'static`
// which would have caused a leak check failure.
// is still ambiguous. However, the `'!a = 'static` constraint from
// `(): LeakCheckFailure<'!a, V>` is also returned via the canonical
// var values, causing this test to compile.

trait Ambig {}
impl Ambig for u32 {}
Expand Down

0 comments on commit 8a5ca41

Please sign in to comment.