//@ check-pass
// FIXME(-Znext-solver): enable this test

// These functions currently do not normalize the opaque type but will do
// so in the future. At this point we've got a new use of the opaque with fully
// universal arguments but for which lifetimes in the hidden type are unconstrained.
//
// Applying the member constraints would then incompletely infer `'unconstrained` to `'static`.
fn new_defining_use<F: FnOnce(T) -> R, T, R>(_: F) {}

fn rpit1<'a,  'b: 'b>(x: &'b ()) -> impl Sized + use<'a, 'b> {
    new_defining_use(rpit1::<'a, 'b>);
    x
}

struct Inv<'a, 'b>(*mut (&'a (), &'b ()));
fn rpit2<'a>(_: ()) -> impl Sized + use<'a> {
    new_defining_use(rpit2::<'a>);
    Inv::<'a, 'static>(std::ptr::null_mut())
}
fn main() {}