Searched refs:principal_def_id (Results 1 – 16 of 16) sorted by relevance
72 ty::Dynamic(ref trait_info, ..) => match trait_info.principal_def_id() { in simplify_type()73 Some(principal_def_id) if !tcx.trait_is_auto(principal_def_id) => { in simplify_type()74 Some(TraitSimplifiedType(principal_def_id)) in simplify_type()
855 pub fn principal_def_id(&self) -> Option<DefId> { in principal_def_id() method
31 if data_a.principal_def_id() == data_b.principal_def_id() { in unsized_info()
59 ty::Dynamic(data, ..) if data.principal_def_id().is_some() => { in visit_item()60 self.check_def_id(item, data.principal_def_id().unwrap()); in visit_item()
274 if data_a.principal_def_id() == data_b.principal_def_id() { in unsize_into_ptr()
743 let def_id = data.principal_def_id()?; in need_migrate_deref_output_trait_object()798 let principal_def_id_a = data_a.principal_def_id(); in assemble_candidates_for_unsizing()799 let principal_def_id_b = data_b.principal_def_id(); in assemble_candidates_for_unsizing()
738 assert_eq!(data_b.principal_def_id(), Some(upcast_trait_ref.def_id())); in confirm_trait_upcasting_unsize_candidate()883 let mut object_dids = data.auto_traits().chain(data.principal_def_id()); in confirm_builtin_unsize_candidate()
279 ty::Dynamic(data, ..) => data.principal_def_id(), in characteristic_def_id_of_type_cached()
147 if data_a.principal_def_id() == data_b.principal_def_id() { in unsized_info()
522 if let Some(def_id) = preds.principal_def_id() { in visit_ty()
638 if data_a.principal_def_id() != data_b.principal_def_id() { in coerce_unsized()
181 .principal_def_id() in deduce_expectations_from_expected_type()
104 ty::Dynamic(ref tty, ..) => Some(PointerKind::Vtable(tty.principal_def_id())), in pointer_kind()
646 let component_traits = data.auto_traits().chain(data.principal_def_id()); in compute()
1035 .principal_def_id() in suggest_impl_trait()
1419 let mut dids = obj.principal_def_id().into_iter().chain(obj.auto_traits()); in clean()