Struct AddLt 

pub struct AddLt<T: ?Sized>(/* private fields */);

Require an extra lifetime at the beginning.

If T needed ['a, 'b, 'c] then AddLt<T> needs ['x, 'a, 'b, 'c].

Examples

use ty_tag::{tag, modifiers::AddLt, Reify, l};

fn with_lt<'a>() {
    // error: lifetime may not live long enough
    // is_tagged::<'a, &str, &'static str>();

    is_tagged::<'a, AddLt<&str>, &'static str>();
}
with_lt();

// Checks that T reifies to U.
fn is_tagged<'a, T: Reify<l!['a], Reified = U>, U>() {}

Trait Implementations

impl<T: Tag> Tag for AddLt<T>

type NeededLifetimes = Cons<Hole, <T as Tag>::NeededLifetimes>

The needed lifetimes by the tagged type.

impl<Group: ?Sized, T: ?Sized + Tagged<Group>> Tagged<Group> for AddLt<T>

type Tag = AddLt<<T as Tagged<Group>>::Tag>

The tag for Self within the group Group.

impl<T: WithLt<L::Tail>, L: LifetimeList> WithLt<L> for AddLt<T>

type Reified = <T as WithLt<<L as ConsList>::Tail>>::Reified

The type tagged.