Function rustc::middle::traits::elaborate_predicatesExperimental [-]  [+] [src]

pub fn elaborate_predicates<'cx, 'tcx>(tcx: &'cx ctxt<'tcx>, predicates: Vec<Predicate<'tcx>>) -> Elaborator<'cx, 'tcx>