/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/ |
H A D | lib.rs | 53 fn trait_datum(&self, trait_id: TraitId<I>) -> Arc<TraitDatum<I>>; in trait_datum() 99 trait_id: TraitId<I>, in impls_for_trait() 110 fn local_impls_to_coherence_check(&self, trait_id: TraitId<I>) -> Vec<ImplId<I>>; in local_impls_to_coherence_check() 117 fn impl_provided_for(&self, auto_trait_id: TraitId<I>, ty: &TyKind<I>) -> bool; in impl_provided_for() 120 fn well_known_trait_id(&self, well_known_trait: WellKnownTrait) -> Option<TraitId<I>>; in well_known_trait_id() 129 fn is_object_safe(&self, trait_id: TraitId<I>) -> bool; in is_object_safe() 168 fn trait_name(&self, trait_id: TraitId<I>) -> String { in trait_name()
|
H A D | logging_db.rs | 185 trait_id: TraitId<I>, in impls_for_trait() 211 ) -> Option<TraitId<I>> { in well_known_trait_id() 228 fn trait_name(&self, trait_id: TraitId<I>) -> String { in trait_name() 244 fn is_object_safe(&self, trait_id: TraitId<I>) -> bool { in is_object_safe() 443 trait_id: TraitId<I>, in impls_for_trait() 461 ) -> Option<TraitId<I>> { in well_known_trait_id() 484 fn trait_name(&self, trait_id: TraitId<I>) -> String { in trait_name() 541 Trait(TraitId<I>), 554 impl<I: Interner> From<TraitId<I>> for RecordedItemId<I> { 555 fn from(v: TraitId<I>) -> Self { in from() [all …]
|
H A D | coherence.rs | 6 use chalk_ir::{self, ImplId, TraitId}; 17 trait_id: TraitId<I>, 22 OverlappingImpls(TraitId<I>), 23 FailedOrphanCheck(TraitId<I>), 82 trait_id: TraitId<I>, in new()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/ |
H A D | lib.rs | 53 fn trait_datum(&self, trait_id: TraitId<I>) -> Arc<TraitDatum<I>>; in trait_datum() 99 trait_id: TraitId<I>, in impls_for_trait() 110 fn local_impls_to_coherence_check(&self, trait_id: TraitId<I>) -> Vec<ImplId<I>>; in local_impls_to_coherence_check() 117 fn impl_provided_for(&self, auto_trait_id: TraitId<I>, ty: &TyKind<I>) -> bool; in impl_provided_for() 120 fn well_known_trait_id(&self, well_known_trait: WellKnownTrait) -> Option<TraitId<I>>; in well_known_trait_id() 129 fn is_object_safe(&self, trait_id: TraitId<I>) -> bool; in is_object_safe() 168 fn trait_name(&self, trait_id: TraitId<I>) -> String { in trait_name()
|
H A D | logging_db.rs | 185 trait_id: TraitId<I>, in impls_for_trait() 211 ) -> Option<TraitId<I>> { in well_known_trait_id() 228 fn trait_name(&self, trait_id: TraitId<I>) -> String { in trait_name() 244 fn is_object_safe(&self, trait_id: TraitId<I>) -> bool { in is_object_safe() 443 trait_id: TraitId<I>, in impls_for_trait() 461 ) -> Option<TraitId<I>> { in well_known_trait_id() 484 fn trait_name(&self, trait_id: TraitId<I>) -> String { in trait_name() 541 Trait(TraitId<I>), 554 impl<I: Interner> From<TraitId<I>> for RecordedItemId<I> { 555 fn from(v: TraitId<I>) -> Self { in from() [all …]
|
H A D | coherence.rs | 6 use chalk_ir::{self, ImplId, TraitId}; 17 trait_id: TraitId<I>, 22 OverlappingImpls(TraitId<I>), 23 FailedOrphanCheck(TraitId<I>), 82 trait_id: TraitId<I>, in new()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/ |
H A D | lib.rs | 53 fn trait_datum(&self, trait_id: TraitId<I>) -> Arc<TraitDatum<I>>; in trait_datum() 99 trait_id: TraitId<I>, in impls_for_trait() 110 fn local_impls_to_coherence_check(&self, trait_id: TraitId<I>) -> Vec<ImplId<I>>; in local_impls_to_coherence_check() 117 fn impl_provided_for(&self, auto_trait_id: TraitId<I>, ty: &TyKind<I>) -> bool; in impl_provided_for() 120 fn well_known_trait_id(&self, well_known_trait: WellKnownTrait) -> Option<TraitId<I>>; in well_known_trait_id() 129 fn is_object_safe(&self, trait_id: TraitId<I>) -> bool; in is_object_safe() 168 fn trait_name(&self, trait_id: TraitId<I>) -> String { in trait_name()
|
H A D | logging_db.rs | 185 trait_id: TraitId<I>, in impls_for_trait() 211 ) -> Option<TraitId<I>> { in well_known_trait_id() 228 fn trait_name(&self, trait_id: TraitId<I>) -> String { in trait_name() 244 fn is_object_safe(&self, trait_id: TraitId<I>) -> bool { in is_object_safe() 443 trait_id: TraitId<I>, in impls_for_trait() 461 ) -> Option<TraitId<I>> { in well_known_trait_id() 484 fn trait_name(&self, trait_id: TraitId<I>) -> String { in trait_name() 541 Trait(TraitId<I>), 554 impl<I: Interner> From<TraitId<I>> for RecordedItemId<I> { 555 fn from(v: TraitId<I>) -> Self { in from() [all …]
|
H A D | coherence.rs | 6 use chalk_ir::{self, ImplId, TraitId}; 17 trait_id: TraitId<I>, 22 OverlappingImpls(TraitId<I>), 23 FailedOrphanCheck(TraitId<I>), 82 trait_id: TraitId<I>, in new()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_def/src/ |
H A D | lang_item.rs | 12 ModuleDefId, StaticId, StructId, TraitId, 22 TraitId(TraitId), enumerator 62 pub fn as_trait(self) -> Option<TraitId> { in as_trait() argument 64 LangItemTarget::TraitId(id) => Some(id), in as_trait() 102 ModuleDefId::TraitId(trait_) => { in crate_lang_items_query() 103 lang_items.collect_lang_item(db, trait_, LangItemTarget::TraitId); in crate_lang_items_query()
|
H A D | lib.rs | 252 pub struct TraitId(salsa::InternId); struct 308 TraitId(TraitId), enumerator 340 TraitId(TraitId), enumerator 351 TraitId, 393 TraitId(TraitId), enumerator 405 TraitId, 432 TraitId(TraitId), enumerator 448 TraitId, 461 ItemContainerId::TraitId(tid) => AttrDefId::TraitId(tid), in from() 594 impl HasModule for TraitId { implementation [all …]
|
H A D | resolver.rs | 79 TraitId(TraitId), enumerator 108 ModuleDefId::TraitId(it) => Some(it), in resolve_known_trait() 164 ModuleDefId::TraitId(it) => { in resolve_module_path_in_trait_assoc_items() 399 pub fn traits_in_scope(&self, db: &dyn DefDatabase) -> FxHashSet<TraitId> { in traits_in_scope() argument 422 if let Some(TypeNs::TraitId(trait_)) = in traits_in_scope() 633 ModuleDefId::TraitId(it) => TypeNs::TraitId(it), in resolve_path_in_value_ns() 669 | ModuleDefId::TraitId(_) in to_value_ns() 685 ModuleDefId::TraitId(it) => TypeNs::TraitId(it), in to_type_ns() 758 impl HasResolver for TraitId { implementation 829 ItemContainerId::TraitId(it) => it.resolver(db), in resolver() [all …]
|
/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_def/src/ |
H A D | lang_item.rs | 12 ModuleDefId, StaticId, StructId, TraitId, 22 TraitId(TraitId), enumerator 62 pub fn as_trait(self) -> Option<TraitId> { in as_trait() argument 64 LangItemTarget::TraitId(id) => Some(id), in as_trait() 102 ModuleDefId::TraitId(trait_) => { in crate_lang_items_query() 103 lang_items.collect_lang_item(db, trait_, LangItemTarget::TraitId); in crate_lang_items_query()
|
H A D | lib.rs | 251 pub struct TraitId(salsa::InternId); struct 301 TraitId(TraitId), enumerator 333 TraitId(TraitId), enumerator 344 TraitId, 386 TraitId(TraitId), enumerator 398 TraitId, 425 TraitId(TraitId), enumerator 440 TraitId, 453 AssocContainerId::TraitId(tid) => AttrDefId::TraitId(tid), in from() 584 impl HasModule for TraitId { implementation [all …]
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/ |
H A D | chalk_ext.rs | 7 FunctionId, GenericDefId, HasModule, ItemContainerId, Lookup, TraitId, 38 fn dyn_trait(&self) -> Option<TraitId>; in dyn_trait() argument 41 fn associated_type_parent_trait(&self, db: &dyn HirDatabase) -> Option<TraitId>; in associated_type_parent_trait() argument 163 fn dyn_trait(&self) -> Option<TraitId> { in dyn_trait() argument 272 ItemContainerId::TraitId(trait_id) => Some(trait_id), in associated_type_parent_trait() 281 ItemContainerId::TraitId(trait_id) => Some(trait_id), in associated_type_parent_trait() 322 fn trait_(&self, db: &dyn HirDatabase) -> TraitId; in trait_() argument 333 fn trait_(&self, db: &dyn HirDatabase) -> TraitId { in trait_() argument 335 ItemContainerId::TraitId(it) => it, in trait_() 342 fn hir_trait_id(&self) -> TraitId; in hir_trait_id() argument [all …]
|
H A D | utils.rs | 17 GenericDefId, ItemContainerId, Lookup, TraitId, TypeAliasId, TypeParamId, 29 pub(crate) fn fn_traits(db: &dyn DefDatabase, krate: CrateId) -> impl Iterator<Item = TraitId> { in fn_traits() 40 fn direct_super_traits(db: &dyn DefDatabase, trait_: TraitId) -> SmallVec<[TraitId; 4]> { in direct_super_traits() 70 Some(TypeNs::TraitId(t)) => Some(t), 105 pub fn all_super_traits(db: &dyn DefDatabase, trait_: TraitId) -> SmallVec<[TraitId; 4]> { in all_super_traits() 297 GenericDefId::AdtId(_) | GenericDefId::TraitId(_) | GenericDefId::ImplId(_) => return None, in parent_generic_def() 302 ItemContainerId::TraitId(it) => Some(it.into()), in parent_generic_def()
|
H A D | traits.rs | 10 use hir_def::{lang_item::LangItemTarget, TraitId}; 45 pub(crate) traits_from_clauses: Vec<(Ty, TraitId)>, 61 ) -> impl Iterator<Item = TraitId> + 'a { in traits_in_scope_from_clauses() 181 pub fn get_id(&self, db: &dyn HirDatabase, krate: CrateId) -> Option<TraitId> { in get_id() argument 184 LangItemTarget::TraitId(t) => Some(t), in get_id()
|
H A D | method_resolution.rs | 13 ModuleId, TraitId, 43 Dyn(TraitId), 245 trait_: TraitId, in for_trait_and_self_ty() argument 439 traits_in_scope: &FxHashSet<TraitId>, in lookup_method() argument 479 traits_in_scope: &FxHashSet<TraitId>, in iterate_method_candidates() argument 512 traits_in_scope: &FxHashSet<TraitId>, in iterate_method_candidates_dyn() argument 579 traits_in_scope: &FxHashSet<TraitId>, in iterate_method_candidates_with_autoref() argument 887 index_trait: TraitId, in resolve_indexing_op() argument 1047 trait_: TraitId, in implements_trait() argument 1060 trait_: TraitId, in implements_trait_unique() argument [all …]
|
/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/ |
H A D | chalk_ext.rs | 7 AssocContainerId, FunctionId, GenericDefId, HasModule, Lookup, TraitId, 37 fn dyn_trait(&self) -> Option<TraitId>; in dyn_trait() argument 40 fn associated_type_parent_trait(&self, db: &dyn HirDatabase) -> Option<TraitId>; in associated_type_parent_trait() argument 162 fn dyn_trait(&self) -> Option<TraitId> { in dyn_trait() argument 271 AssocContainerId::TraitId(trait_id) => Some(trait_id), in associated_type_parent_trait() 280 AssocContainerId::TraitId(trait_id) => Some(trait_id), in associated_type_parent_trait() 321 fn trait_(&self, db: &dyn HirDatabase) -> TraitId; in trait_() argument 332 fn trait_(&self, db: &dyn HirDatabase) -> TraitId { in trait_() argument 334 AssocContainerId::TraitId(it) => it, in trait_() 341 fn hir_trait_id(&self) -> TraitId; in hir_trait_id() argument [all …]
|
H A D | utils.rs | 17 AssocContainerId, GenericDefId, Lookup, TraitId, TypeAliasId, TypeParamId, 27 pub(crate) fn fn_traits(db: &dyn DefDatabase, krate: CrateId) -> impl Iterator<Item = TraitId> { in fn_traits() 38 fn direct_super_traits(db: &dyn DefDatabase, trait_: TraitId) -> Vec<TraitId> { in direct_super_traits() argument 68 Some(TypeNs::TraitId(t)) => Some(t), in direct_super_traits() 103 pub fn all_super_traits(db: &dyn DefDatabase, trait_: TraitId) -> Vec<TraitId> { in all_super_traits() argument 295 GenericDefId::AdtId(_) | GenericDefId::TraitId(_) | GenericDefId::ImplId(_) => return None, in parent_generic_def() 300 AssocContainerId::TraitId(it) => Some(it.into()), in parent_generic_def()
|
H A D | traits.rs | 10 use hir_def::{lang_item::LangItemTarget, TraitId}; 44 pub(crate) traits_from_clauses: Vec<(Ty, TraitId)>, 60 ) -> impl Iterator<Item = TraitId> + 'a { in traits_in_scope_from_clauses() 184 pub fn get_id(&self, db: &dyn HirDatabase, krate: CrateId) -> Option<TraitId> { in get_id() argument 187 LangItemTarget::TraitId(t) => Some(t), in get_id()
|
H A D | method_resolution.rs | 42 Dyn(TraitId), 233 trait_: TraitId, in for_trait_and_self_ty() argument 392 traits_in_scope: &FxHashSet<TraitId>, in lookup_method() argument 432 traits_in_scope: &FxHashSet<TraitId>, in iterate_method_candidates() argument 465 traits_in_scope: &FxHashSet<TraitId>, in iterate_method_candidates_dyn() argument 532 traits_in_scope: &FxHashSet<TraitId>, in iterate_method_candidates_with_autoref() argument 598 traits_in_scope: &FxHashSet<TraitId>, in iterate_method_candidates_by_receiver() argument 845 index_trait: TraitId, in resolve_indexing_op() argument 1004 trait_: TraitId, in implements_trait() argument 1017 trait_: TraitId, in implements_trait_unique() argument [all …]
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/display/ |
H A D | stub.rs | 61 trait_id: chalk_ir::TraitId<I>, in trait_datum() 146 _trait_id: chalk_ir::TraitId<I>, in impls_for_trait() 157 trait_id: chalk_ir::TraitId<I>, in local_impls_to_coherence_check() 164 _auto_trait_id: chalk_ir::TraitId<I>, in impl_provided_for() 175 ) -> Option<chalk_ir::TraitId<I>> { in well_known_trait_id() 190 fn is_object_safe(&self, trait_id: chalk_ir::TraitId<I>) -> bool { in is_object_safe() 241 fn trait_name(&self, trait_id: chalk_ir::TraitId<I>) -> String { in trait_name()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/display/ |
H A D | stub.rs | 61 trait_id: chalk_ir::TraitId<I>, in trait_datum() 146 _trait_id: chalk_ir::TraitId<I>, in impls_for_trait() 157 trait_id: chalk_ir::TraitId<I>, in local_impls_to_coherence_check() 164 _auto_trait_id: chalk_ir::TraitId<I>, in impl_provided_for() 175 ) -> Option<chalk_ir::TraitId<I>> { in well_known_trait_id() 190 fn is_object_safe(&self, trait_id: chalk_ir::TraitId<I>) -> bool { in is_object_safe() 241 fn trait_name(&self, trait_id: chalk_ir::TraitId<I>) -> String { in trait_name()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/display/ |
H A D | stub.rs | 61 trait_id: chalk_ir::TraitId<I>, in trait_datum() 146 _trait_id: chalk_ir::TraitId<I>, in impls_for_trait() 157 trait_id: chalk_ir::TraitId<I>, in local_impls_to_coherence_check() 164 _auto_trait_id: chalk_ir::TraitId<I>, in impl_provided_for() 175 ) -> Option<chalk_ir::TraitId<I>> { in well_known_trait_id() 190 fn is_object_safe(&self, trait_id: chalk_ir::TraitId<I>) -> bool { in is_object_safe() 241 fn trait_name(&self, trait_id: chalk_ir::TraitId<I>) -> String { in trait_name()
|