Struct rustc_trans::middle::ty::BinderExperimental
[-]
[+]
[src]
pub struct Binder<T>(pub T);
Binder is a binder for higher-ranked lifetimes. It is part of the
compiler's representation for things like for<'a> Fn(&'a int)
(which would be represented by the type PolyTraitRef ==
Binder<TraitRef>
). Note that when we skolemize, instantiate,
erase, or otherwise "discharge" these bound reons, we change the
type from Binder<T>
to just T
(see
e.g. liberate_late_bound_regions
).