diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-01-17 20:21:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-17 20:21:28 +0100 |
| commit | 3d7677d91ad9ef0602af227b41831fa2c46e0547 (patch) | |
| tree | 9324ad1e4091b9fd2324632f2dae9a23918eaa96 /compiler/rustc_infer | |
| parent | 28081833c61459a510c4303914ae713035e183fb (diff) | |
| parent | f193effcaf421da090a463a49968b7bac849db2f (diff) | |
| download | rust-3d7677d91ad9ef0602af227b41831fa2c46e0547.tar.gz rust-3d7677d91ad9ef0602af227b41831fa2c46e0547.zip | |
Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnr
Switch to `EarlyBinder` for `item_bounds` query Part of the work to finish #105779 (also see https://github.com/rust-lang/types-team/issues/78). Several queries `X` have a `bound_X` variant that wraps the output in `EarlyBinder`. This adds `EarlyBinder` to the return type of the `item_bounds` query and removes `bound_item_bounds`. r? `@lcnr`
Diffstat (limited to 'compiler/rustc_infer')
| -rw-r--r-- | compiler/rustc_infer/src/infer/outlives/verify.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/infer/outlives/verify.rs b/compiler/rustc_infer/src/infer/outlives/verify.rs index 66bbf47c3b6..56695a87b7c 100644 --- a/compiler/rustc_infer/src/infer/outlives/verify.rs +++ b/compiler/rustc_infer/src/infer/outlives/verify.rs @@ -298,7 +298,7 @@ impl<'cx, 'tcx> VerifyBoundCx<'cx, 'tcx> { substs: SubstsRef<'tcx>, ) -> impl Iterator<Item = ty::Region<'tcx>> { let tcx = self.tcx; - let bounds = tcx.bound_item_bounds(def_id); + let bounds = tcx.item_bounds(def_id); trace!("{:#?}", bounds.0); bounds .subst_iter(tcx, substs) |