Trait rustc::infer::TransNormalize
[−]
[src]
pub trait TransNormalize<'gcx>: TypeFoldable<'gcx> { fn trans_normalize<'a, 'tcx>(&self,
infcx: &InferCtxt<'a, 'gcx, 'tcx>)
-> Self; }
🔬 This is a nightly-only experimental API. (
rustc_private
)Helper trait for shortening the lifetimes inside a value for post-type-checking normalization.
Required Methods
fn trans_normalize<'a, 'tcx>(&self, infcx: &InferCtxt<'a, 'gcx, 'tcx>) -> Self
🔬 This is a nightly-only experimental API. (
rustc_private
)Implementors
impl<'gcx> TransNormalize<'gcx> for Ty<'gcx>
impl<'gcx> TransNormalize<'gcx> for &'gcx Substs<'gcx>
impl<'gcx> TransNormalize<'gcx> for FnSig<'gcx>
impl<'gcx> TransNormalize<'gcx> for PolyFnSig<'gcx>
impl<'gcx> TransNormalize<'gcx> for ClosureSubsts<'gcx>
impl<'gcx> TransNormalize<'gcx> for PolyTraitRef<'gcx>
impl<'gcx> TransNormalize<'gcx> for ExistentialTraitRef<'gcx>
impl<'gcx> TransNormalize<'gcx> for LvalueTy<'gcx>