mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-21 22:34:05 +00:00
update test description
This commit is contained in:
parent
69fdd1457d
commit
a138a92615
@ -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 {}
|
||||
|
Loading…
Reference in New Issue
Block a user