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

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

Fields

value
obligations