Function rustc_typeck::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>)