30 lines
916 B
Rust
30 lines
916 B
Rust
|
//@ revisions: old next
|
||
|
|
//@[next] compile-flags: -Znext-solver
|
||
|
|
//@ check-pass
|
||
|
|
|
||
|
|
// cc #119820. While the leak check does not consider the binder
|
||
|
|
// of the current goal, leaks from higher-ranked nested goals are
|
||
|
|
// considered.
|
||
|
|
//
|
||
|
|
// We enter and exit the binder of the nested goal while evaluating
|
||
|
|
// the candidate.
|
||
|
|
|
||
|
|
trait LeakCheckFailure<'a> {}
|
||
|
|
impl LeakCheckFailure<'static> for () {}
|
||
|
|
|
||
|
|
trait Trait<T> {}
|
||
|
|
impl Trait<u32> for () where for<'a> (): LeakCheckFailure<'a> {}
|
||
|
|
impl Trait<u16> for () {}
|
||
|
|
fn impls_trait<T: Trait<U>, U>() {}
|
||
|
|
fn main() {
|
||
|
|
// ok
|
||
|
|
//
|
||
|
|
// It does not matter whether candidate assembly
|
||
|
|
// considers the placeholders from higher-ranked goal.
|
||
|
|
//
|
||
|
|
// Either `for<'a> (): LeakCheckFailure<'a>` has no applicable
|
||
|
|
// candidate or it has a single applicable candidate which then later
|
||
|
|
// results in an error. This allows us to infer `U` to `u16`.
|
||
|
|
impls_trait::<(), _>()
|
||
|
|
}
|