Struct rustc_trans::middle::traits::NormalizedUnstable [-] [+] [src]

pub struct Normalized<'tcx, T> {
    pub value: T,
    pub obligations: Vec<Obligation<'tcx, Predicate<'tcx>>>,
}

Fields

value
obligations

Methods

impl<'tcx, T> Normalized<'tcx, T>

fn with<U>(self, value: U) -> Normalized<'tcx, U>

Trait Implementations

impl<'tcx, T> TypeFoldable<'tcx> for Normalized<'tcx, T> where T: TypeFoldable<'tcx>

fn fold_with<F>(&self, folder: &mut F) -> Normalized<'tcx, T> where F: TypeFolder<'tcx>

impl<'tcx, T> Repr<'tcx> for Normalized<'tcx, T> where T: Repr<'tcx>

fn repr(&self, tcx: &ctxt<'tcx>) -> String

Derived Implementations

impl<'tcx, T> Clone for Normalized<'tcx, T> where T: Clone + Clone

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

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