tests/ui/traits/next-solver/constrain-alias-goals-in-unsize.rs

//@ compile-flags: -Znext-solver
//@ check-pass

use std::mem::ManuallyDrop;

trait Foo {}

struct Guard<T> {
    value: ManuallyDrop<T>,
}

impl<T: Foo> Guard<T> {
    fn uwu(&self) {
        let x: &dyn Foo = &*self.value;
    }
}

fn main() {}