Function rustc::middle::ty::predicatesExperimental
[-]
[+]
[src]
pub fn predicates<'tcx>(tcx: &ctxt<'tcx>, param_ty: Ty<'tcx>, bounds: &ParamBounds<'tcx>) -> Vec<Predicate<'tcx>>