Function rustc_typeck::middle::infer::mk_sub_poly_trait_refsUnstable [-] [+] [src]

pub fn mk_sub_poly_trait_refs(cx: &InferCtxt<'a, 'tcx>, a_is_expected: bool, origin: TypeOrigin, a: Binder<Rc<TraitRef<'tcx>>>, b: Binder<Rc<TraitRef<'tcx>>>) -> Result<(), type_err<'tcx>>