Struct stable_mir::ty::Binder

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

A binder represents a possibly generic type and its bound vars.

Fields

value: T

bound_vars: Vec<BoundVariableKind>

Implementations

impl Binder<FnSig>

pub fn fn_ptr_abi(self) -> Result<FnAbi, Error>

Compute a FnAbi suitable for indirect calls, i.e. to fn pointers.

NB: this doesn’t handle virtual calls - those should use Instance::fn_abi instead, where the instance is an InstanceKind::Virtual.

impl<T> Binder<T>

pub fn bind_with_vars(value: T, bound_vars: Vec<BoundVariableKind>) -> Self

Create a new binder with the given bound vars.

pub fn dummy(value: T) -> Self

Create a new binder with no bounded variable.

pub fn skip_binder(self) -> T

pub fn map_bound_ref<F, U>(&self, f: F) -> Binder<U>

where F: FnOnce(&T) -> U,

pub fn map_bound<F, U>(self, f: F) -> Binder<U>

where F: FnOnce(T) -> U,

impl Binder<ExistentialTraitRef>

pub fn with_self_ty(&self, self_ty: Ty) -> Binder<TraitRef>

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: PartialEq> PartialEq for Binder<T>

fn eq(&self, other: &Binder<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T> Serialize for Binder<T>

where T: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

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>

impl<T: Eq> Eq for Binder<T>

impl<T> StructuralPartialEq for Binder<T>

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.