Home
last modified time | relevance | path

Searched refs:TraitId (Results 1 – 25 of 134) sorted by relevance

123456

/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/
H A Dlib.rs53 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 Dlogging_db.rs185 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 Dcoherence.rs6 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 Dlib.rs53 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 Dlogging_db.rs185 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 Dcoherence.rs6 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 Dlib.rs53 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 Dlogging_db.rs185 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 Dcoherence.rs6 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 Dlang_item.rs12 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 Dlib.rs252 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 Dresolver.rs79 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 Dlang_item.rs12 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 Dlib.rs251 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 Dchalk_ext.rs7 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 Dutils.rs17 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 Dtraits.rs10 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 Dmethod_resolution.rs13 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 Dchalk_ext.rs7 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 Dutils.rs17 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 Dtraits.rs10 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 Dmethod_resolution.rs42 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 Dstub.rs61 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 Dstub.rs61 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 Dstub.rs61 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()

123456