Struct rustc_typeck::middle::traits::NormalizedUnstable

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>> TypeFoldable<'tcx> for Normalized<'tcx, T>

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

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

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