rustc::middle::traits::PredicateObligationsExperimental [-]  [+] [src]

type PredicateObligations<'tcx> = VecPerParamSpace<PredicateObligation<'tcx>>;