Struct DynBinder 

pub struct DynBinder<'tcx, T> {
    pub existential_ty: ParamTy,
    pub predicates: GenericPredicates<'tcx>,
    pub val: T,
}

A representation of exists<T: Trait1 + Trait2>(value): we create a fresh type id and the appropriate trait clauses. The contained value may refer to the fresh ty and the in-scope trait clauses. This is used to represent types related to dyn Trait.

Fields

existential_ty: ParamTy

Fresh type parameter that we use as the Self type in the predicates below.

predicates: GenericPredicates<'tcx>

Clauses that define the trait object. These clauses use the fresh type parameter above as Self type.

val: T

The value inside the binder.

Trait Implementations

impl<'tcx, T: Clone> Clone for DynBinder<'tcx, T>

fn clone(&self) -> DynBinder<'tcx, T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx, T: Debug> Debug for DynBinder<'tcx, T>

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

Formats the value using the given formatter.

impl<'tcx, T: Eq> Eq for DynBinder<'tcx, T>

impl<'tcx, T: Hash> Hash for DynBinder<'tcx, T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'tcx, T: PartialEq> PartialEq for DynBinder<'tcx, T>

fn eq(&self, other: &DynBinder<'tcx, T>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<'tcx, S, T, U> SInto<S, DynBinder<'tcx, U>> for DynBinder<'tcx, T, DefId>

where S: UnderOwnerState<'tcx>, T: SInto<S, U>,

fn sinto(&self, s: &S) -> DynBinder<'tcx, U>

impl<'tcx, T: PartialEq> StructuralPartialEq for DynBinder<'tcx, T>