diff options
| author | Michael Goulet <michael@errs.io> | 2024-05-19 13:20:37 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-05-28 11:10:11 -0400 |
| commit | f49403653017bfe5a62b7121b36249c19dcf1a0d (patch) | |
| tree | 70458492c53178658a24a4c340d59a771c307564 /compiler/rustc_middle/src | |
| parent | 50a5da16b815d7ff6f145cb86ea5c146b1c95329 (diff) | |
| download | rust-f49403653017bfe5a62b7121b36249c19dcf1a0d.tar.gz rust-f49403653017bfe5a62b7121b36249c19dcf1a0d.zip | |
Make ProofTreeBuilder actually generic over interner
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/context.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/context.rs b/compiler/rustc_middle/src/ty/context.rs index c09cb95de88..5a04324dc7d 100644 --- a/compiler/rustc_middle/src/ty/context.rs +++ b/compiler/rustc_middle/src/ty/context.rs @@ -218,6 +218,13 @@ impl<'tcx> Interner for TyCtxt<'tcx> { self.check_and_mk_args(def_id, args) } + fn intern_canonical_goal_evaluation_step( + self, + step: solve::inspect::CanonicalGoalEvaluationStep<TyCtxt<'tcx>>, + ) -> &'tcx solve::inspect::CanonicalGoalEvaluationStep<TyCtxt<'tcx>> { + self.arena.alloc(step) + } + fn parent(self, def_id: Self::DefId) -> Self::DefId { self.parent(def_id) } |