diff options
| author | bors <bors@rust-lang.org> | 2023-10-24 17:28:45 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-10-24 17:28:45 +0000 |
| commit | 98b4a64a164b2861f5d84aba3140761068f52231 (patch) | |
| tree | 0d72b3621834cabf84ced490884e76f25d9d7103 /compiler/rustc_infer/src | |
| parent | 07a4b7e2a9a4dc2840cd9311aad3ac3ebcb41543 (diff) | |
| parent | 9510e972e3820059589cb973c5692c8aa047a8d3 (diff) | |
| download | rust-98b4a64a164b2861f5d84aba3140761068f52231.tar.gz rust-98b4a64a164b2861f5d84aba3140761068f52231.zip | |
Auto merge of #117126 - matthiaskrgr:rollup-8huie8f, r=matthiaskrgr
Rollup of 5 pull requests Successful merges: - #117081 (fix typos in comments) - #117091 (`OptWithInfcx` naming nits, trait bound simplifications) - #117092 (Add regression test for #117058) - #117093 (Update books) - #117105 (remove change-id assertion in bootstrap test) r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'compiler/rustc_infer/src')
| -rw-r--r-- | compiler/rustc_infer/src/infer/mod.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/infer/mod.rs b/compiler/rustc_infer/src/infer/mod.rs index 8ffcf1fce9c..2198a15d99d 100644 --- a/compiler/rustc_infer/src/infer/mod.rs +++ b/compiler/rustc_infer/src/infer/mod.rs @@ -341,7 +341,9 @@ pub struct InferCtxt<'tcx> { next_trait_solver: bool, } -impl<'tcx> ty::InferCtxtLike<TyCtxt<'tcx>> for InferCtxt<'tcx> { +impl<'tcx> ty::InferCtxtLike for InferCtxt<'tcx> { + type Interner = TyCtxt<'tcx>; + fn universe_of_ty(&self, ty: ty::InferTy) -> Option<ty::UniverseIndex> { use InferTy::*; match ty { |