Function rustc::middle::infer::verify_param_boundExperimental [-]  [+] [src]

pub fn verify_param_bound<'a, 'tcx>(cx: &InferCtxt<'a, 'tcx>, origin: SubregionOrigin<'tcx>, param_ty: ParamTy, a: Region, bs: Vec<Region>)