Searched defs:source_trait_ref (Results 1 – 4 of 4) sorted by relevance
114 let source_trait_ref = in translate_substs_with_cause() localVariable205 let source_trait_ref = match traits::fully_normalize( in fulfill_implication() localVariable
228 let source_trait_ref = data.principal().unwrap().with_self_ty(infcx.tcx, self_ty); in rematch_object() localVariable
724 let source_trait_ref = principal_a.with_self_ty(self.tcx(), source); in assemble_candidates_for_unsizing() localVariable
917 let source_trait_ref; in confirm_trait_upcasting_unsize_candidate() localVariable