Trait rustc::infer::TransNormalize
[−]
[src]
pub trait TransNormalize<'gcx>: TypeFoldable<'gcx> { fn trans_normalize<'a, 'tcx>(&self, infcx: &InferCtxt<'a, 'gcx, 'tcx>) -> Self; }
Unstable (
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
Unstable (
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 FnOutput<'gcx>
impl<'gcx> TransNormalize<'gcx> for &'gcx BareFnTy<'gcx>
impl<'gcx> TransNormalize<'gcx> for ClosureSubsts<'gcx>
impl<'gcx> TransNormalize<'gcx> for PolyTraitRef<'gcx>
impl<'gcx> TransNormalize<'gcx> for LvalueTy<'gcx>