Searched defs:source_trait (Results 1 – 2 of 2) sorted by relevance
221 let source_trait = ImplSubject::Trait(source_trait_ref); in fulfill_implication() localVariable
950 let source_trait = Ty::new_dynamic(tcx, existential_predicates, r_b, repr_a); in confirm_trait_upcasting_unsize_candidate() localVariable1043 let source_trait = Ty::new_dynamic(tcx, existential_predicates, r_b, dyn_a); in confirm_builtin_unsize_candidate() localVariable