1 #![feature(const_mut_refs)]
2 #![feature(inline_const)]
4 use std::marker::PhantomData;
6 #[derive(PartialEq, Eq)]
7 pub struct InvariantRef<'a, T: ?Sized>(&'a T, PhantomData<&'a mut &'a T>);
9 impl<'a, T: ?Sized> InvariantRef<'a, T> {
10 pub const fn new(r: &'a T) -> Self {
11 InvariantRef(r, PhantomData)
15 impl<'a> InvariantRef<'a, ()> {
16 pub const NEW: Self = InvariantRef::new(&());
19 fn equate<T>(x: T, y: T){}
23 equate(InvariantRef::new(&y), const { InvariantRef::<'a>::NEW });
24 //~^ ERROR `y` does not live long enough [E0597]