Struct Substituted 

pub struct Substituted<'a, T> {
    pub val: &'a T,
    pub generics: &'a GenericArgs,
}

A value of type T applied to some GenericArgs, except we havent applied them yet to avoid a deep clone.

Fields

val: &'a T

generics: &'a GenericArgs

Implementations

impl<'a, T> Substituted<'a, T>

pub fn new(val: &'a T, generics: &'a GenericArgs) -> Self

pub fn rebind<U>(&self, val: &'a U) -> Substituted<'a, U>

pub fn substitute(&self) -> T

where T: TyVisitable + Clone,

pub fn try_substitute(&self) -> Result<T, GenericsMismatch>

where T: TyVisitable + Clone,

pub fn iter<Item: 'a>(&self) -> impl Iterator<Item = Substituted<'a, Item>>

where &'a T: IntoIterator<Item = &'a Item>,

Trait Implementations

impl<'a, T: Clone> Clone for Substituted<'a, T>

fn clone(&self) -> Substituted<'a, T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, T: Debug> Debug for Substituted<'a, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, T: Copy> Copy for Substituted<'a, T>