Struct InGroup 

pub struct InGroup<T: ?Sized, Group: ?Sized>(/* private fields */);

Use the tag from another group.

Not all types are tagged within a given group. This modifier allows switching the group locally.

The Group type is the group that should be used to get the tag from T.

Examples

use ty_tag::{tag, modifiers::InGroup, Reify};

// A custom group.
struct MyGroup;

// Some random type.
struct X;

// We tag the type X in the group MyGroup.
#[tag(remote, group = MyGroup)]
type Tag = X;

// error[E0277]: the trait bound `Fundamental: Tags<X>` is not satisfied
// is_tagged::<X, X>();

// InGroup uses the tag for X in MyGroup.
is_tagged::<InGroup<X, MyGroup>, X>();

// Checks that T reifies to U.
fn is_tagged<T: Reify<Reified = U>, U>() {}

Trait Implementations

impl<T: Tagged<Group>, Group: ?Sized, OtherGroup: ?Sized> Tagged<OtherGroup> for InGroup<T, Group>

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

The tag for Self within the group Group.