//@ check-pass
// issue: 116794

// Uncaptured lifetimes should not be required to be live.

struct Invariant<T>(*mut T);

fn opaque<'a: 'a>(_: &'a str) -> Invariant<impl Sized> {
    Invariant(&mut ())
}

fn main() {
    let x = opaque(&String::new());
    drop(x);
}