diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-10-17 20:47:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-17 20:47:31 +0200 |
| commit | 405eb4178e1eec5d8487b8790e5cfc7c9ad79c63 (patch) | |
| tree | 33e011e57932ff1a4c34f61a7a18cda4c2d7cf26 /compiler/rustc_trait_selection/src/solve | |
| parent | 7dbd92fadd0d169798e258cef82ea1d31f4c58c2 (diff) | |
| parent | c45073ec3ea800b31e634db9de1b51f978521ad5 (diff) | |
Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errors
SolverDelegate add assoc type for Infcx makes writing trait bounds on it a lot nicer going forward. r? `@compiler-errors`
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/delegate.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/delegate.rs b/compiler/rustc_trait_selection/src/solve/delegate.rs index 62f56beb34b..5793ac2fc31 100644 --- a/compiler/rustc_trait_selection/src/solve/delegate.rs +++ b/compiler/rustc_trait_selection/src/solve/delegate.rs @@ -36,6 +36,7 @@ impl<'tcx> Deref for SolverDelegate<'tcx> { } impl<'tcx> rustc_next_trait_solver::delegate::SolverDelegate for SolverDelegate<'tcx> { + type Infcx = InferCtxt<'tcx>; type Interner = TyCtxt<'tcx>; fn cx(&self) -> TyCtxt<'tcx> { |