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

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

Fields

value
obligations