diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-05-28 18:04:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-28 18:04:33 +0200 |
| commit | de2bf3687bc09e7fd8d58c2a50c6d628aa42169b (patch) | |
| tree | f2ec98a784078b6323d0d5ca4cfd9ffc98c2de74 /compiler/rustc_middle/src | |
| parent | 86f6fae93de7eecef4942a3434903aea95ddb47c (diff) | |
| parent | f49403653017bfe5a62b7121b36249c19dcf1a0d (diff) | |
| download | rust-de2bf3687bc09e7fd8d58c2a50c6d628aa42169b.tar.gz rust-de2bf3687bc09e7fd8d58c2a50c6d628aa42169b.zip | |
Rollup merge of #125598 - compiler-errors:proof-tree-builder, r=lcnr
Make `ProofTreeBuilder` actually generic over `Interner` Self-explanatory. Also renamed `ecx.tcx()` to `ecx.interner()`. r? lcnr
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 51bbe351218..c2219fba023 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) } |