lifetime.rs

struct Lifetimed<'s> {
    _phantom: std::marker::PhantomData<&'s ()>,
}
trait Project {
    type Value;
}

impl<'s> Project for Lifetimed<'s>
{
    type Value = ();
}

fn normalize<'s>() -> <Lifetimed<'s> as Project>::Value
where
    Lifetimed<'s>: Project,
{
    ()
}