Struct stable_mir::ty::Binder

pub struct Binder<T> {
    pub value: T,
    pub bound_vars: Vec<BoundVariableKind>,
}

Fields

value: T

bound_vars: Vec<BoundVariableKind>

Trait Implementations

impl<T: Clone> Clone for Binder<T>

fn clone(&self) -> Binder<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Binder<T>

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

Formats the value using the given formatter.

impl<T: Foldable> Foldable for Binder<T>

fn super_fold<V: Folder>(&self, folder: &mut V) -> ControlFlow<V::Break, Self>

fn fold<V: Folder>(&self, folder: &mut V) -> ControlFlow<V::Break, Self>

impl<T: Visitable> Visitable for Binder<T>

fn super_visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

fn visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.