rustc::middle::traits::PredicateObligationsExperimental
[-]
[+]
[src]
type PredicateObligations<'tcx> = VecPerParamSpace<PredicateObligation<'tcx>>;