Searched refs:InternedGoal (Results 1 – 9 of 9) sorted by relevance
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/traits/ |
| H A D | chalk.rs | 67 type InternedGoal = Box<chalk_ir::GoalData<Self>>; typedef
256 fn intern_goal(&self, goal: chalk_ir::GoalData<Self>) -> Self::InternedGoal { in intern_goal() argument
260 fn goal_data<'a>(&self, goal: &'a Self::InternedGoal) -> &'a chalk_ir::GoalData<Self> { in goal_data()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-ir-0.75.0/src/ |
| H A D | interner.rs | 114 type InternedGoal: Debug + Clone + Eq + Hash; typedef
520 fn intern_goal(self, data: GoalData<Self>) -> Self::InternedGoal; in intern_goal() argument
523 fn goal_data<'a>(self, goal: &'a Self::InternedGoal) -> &'a GoalData<Self>; in goal_data()
|
| H A D | lib.rs | 2486 interned: I::InternedGoal,
2497 pub fn interned(&self) -> &I::InternedGoal { in interned() argument
2622 I::InternedGoal: Copy,
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir-0.55.0/src/ |
| H A D | interner.rs | 114 type InternedGoal: Debug + Clone + Eq + Hash; typedef
520 fn intern_goal(&self, data: GoalData<Self>) -> Self::InternedGoal; in intern_goal() argument
523 fn goal_data<'a>(&self, goal: &'a Self::InternedGoal) -> &'a GoalData<Self>; in goal_data()
|
| H A D | lib.rs | 2509 interned: I::InternedGoal,
2520 pub fn interned(&self) -> &I::InternedGoal { in interned() argument
2650 I::InternedGoal: Copy,
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir/src/ |
| H A D | interner.rs | 114 type InternedGoal: Debug + Clone + Eq + Hash; typedef
520 fn intern_goal(&self, data: GoalData<Self>) -> Self::InternedGoal; in intern_goal() argument
523 fn goal_data<'a>(&self, goal: &'a Self::InternedGoal) -> &'a GoalData<Self>; in goal_data()
|
| H A D | lib.rs | 2486 interned: I::InternedGoal,
2497 pub fn interned(&self) -> &I::InternedGoal { in interned() argument
2627 I::InternedGoal: Copy,
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/ |
| H A D | interner.rs | 54 type InternedGoal = Arc<GoalData<Self>>; typedef
282 fn intern_goal(self, goal: GoalData<Self>) -> Self::InternedGoal { in intern_goal() argument
293 fn goal_data<'a>(self, goal: &'a Self::InternedGoal) -> &'a GoalData<Self> { in goal_data()
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/ |
| H A D | interner.rs | 54 type InternedGoal = Arc<GoalData<Self>>; typedef
282 fn intern_goal(&self, goal: GoalData<Self>) -> Self::InternedGoal { in intern_goal() argument
293 fn goal_data<'a>(&self, goal: &'a Self::InternedGoal) -> &'a GoalData<Self> { in goal_data()
|