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

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