| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/ |
| H A D | chalk_db.rs | 34 pub(crate) type TraitDatum = chalk_solve::rust_ir::TraitDatum<Interner>; typedef
52 fn trait_datum(&self, trait_id: TraitId) -> Arc<TraitDatum> { in trait_datum() argument
452 ) -> Arc<TraitDatum> { in trait_datum_query() argument
473 let trait_datum = TraitDatum { in trait_datum_query()
|
| H A D | db.rs | 111 -> Arc<chalk_db::TraitDatum>; in trait_datum() argument
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/ |
| H A D | chalk_db.rs | 33 pub(crate) type TraitDatum = chalk_solve::rust_ir::TraitDatum<Interner>; typedef
51 fn trait_datum(&self, trait_id: TraitId) -> Arc<TraitDatum> { in trait_datum() argument
451 ) -> Arc<TraitDatum> { in trait_datum_query() argument
472 let trait_datum = TraitDatum { in trait_datum_query()
|
| H A D | db.rs | 111 -> Arc<chalk_db::TraitDatum>; in trait_datum() argument
|
| /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()
|
| H A D | rust_ir.rs | 226 pub struct TraitDatum<I: Interner> { struct
266 impl<I: Interner> TraitDatum<I> { impl
|
| H A D | logging_db.rs | 131 fn trait_datum(&self, trait_id: TraitId<I>) -> Arc<TraitDatum<I>> { in trait_datum()
398 fn trait_datum(&self, trait_id: TraitId<I>) -> Arc<TraitDatum<I>> { in trait_datum()
|
| /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()
|
| H A D | rust_ir.rs | 230 pub struct TraitDatum<I: Interner> { struct
269 impl<I: Interner> TraitDatum<I> { implementation
|
| H A D | logging_db.rs | 131 fn trait_datum(&self, trait_id: TraitId<I>) -> Arc<TraitDatum<I>> { in trait_datum()
398 fn trait_datum(&self, trait_id: TraitId<I>) -> Arc<TraitDatum<I>> { in trait_datum()
|
| /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()
|
| H A D | rust_ir.rs | 229 pub struct TraitDatum<I: Interner> { struct
269 impl<I: Interner> TraitDatum<I> { implementation
|
| H A D | logging_db.rs | 131 fn trait_datum(&self, trait_id: TraitId<I>) -> Arc<TraitDatum<I>> { in trait_datum()
398 fn trait_datum(&self, trait_id: TraitId<I>) -> Arc<TraitDatum<I>> { in trait_datum()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/display/ |
| H A D | stub.rs | 62 ) -> std::sync::Arc<crate::rust_ir::TraitDatum<I>> { in trait_datum()
|
| H A D | items.rs | 168 impl<I: Interner> RenderAsRust<I> for TraitDatum<I> { implementation
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/display/ |
| H A D | stub.rs | 62 ) -> std::sync::Arc<crate::rust_ir::TraitDatum<I>> { in trait_datum()
|
| H A D | items.rs | 168 impl<I: Interner> RenderAsRust<I> for TraitDatum<I> { implementation
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/display/ |
| H A D | stub.rs | 62 ) -> std::sync::Arc<crate::rust_ir::TraitDatum<I>> { in trait_datum()
|
| H A D | items.rs | 168 impl<I: Interner> RenderAsRust<I> for TraitDatum<I> { implementation
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_traits/src/chalk/ |
| H A D | db.rs | 105 ) -> Arc<chalk_solve::rust_ir::TraitDatum<RustInterner<'tcx>>> { in trait_datum()
147 Arc::new(chalk_solve::rust_ir::TraitDatum { in trait_datum()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/clauses/ |
| H A D | program_clauses.rs | 484 impl<I: Interner> ToProgramClauses<I> for TraitDatum<I> { implementation
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/clauses/ |
| H A D | program_clauses.rs | 484 impl<I: Interner> ToProgramClauses<I> for TraitDatum<I> { implementation
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/clauses/ |
| H A D | program_clauses.rs | 474 impl<I: Interner> ToProgramClauses<I> for TraitDatum<I> { implementation
|