diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-12-20 23:35:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-20 23:35:17 +0100 |
| commit | b68e9945038e660bf91e0d50a8c79fbed7afb115 (patch) | |
| tree | 6d3926c281cd34edb58f2db73f9c85c965be04c9 /compiler/rustc_middle | |
| parent | b9edcfa055ae72a097f1101c2272b4a99c15d618 (diff) | |
| parent | 1c5b53be1c5ea2f95b1b3e4327c69f14127a923c (diff) | |
| download | rust-b68e9945038e660bf91e0d50a8c79fbed7afb115.tar.gz rust-b68e9945038e660bf91e0d50a8c79fbed7afb115.zip | |
Rollup merge of #105973 - oli-obk:simplify_callee_checks, r=jackh726
Avoid going through the happy path in case of non-fn builtin calls No functional change, just doing an early return. The removed comment is not applicable anymore, not every node needs type bindings in the error case. At best this would have been needed to avoid ICEs, but afaict this can't happen anymore today, as we do fallible checks.
Diffstat (limited to 'compiler/rustc_middle')
| -rw-r--r-- | compiler/rustc_middle/src/ty/subst.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/subst.rs b/compiler/rustc_middle/src/ty/subst.rs index a04b15f8cf1..2071d010272 100644 --- a/compiler/rustc_middle/src/ty/subst.rs +++ b/compiler/rustc_middle/src/ty/subst.rs @@ -400,6 +400,7 @@ impl<'tcx> InternalSubsts<'tcx> { } #[inline] + #[track_caller] pub fn type_at(&self, i: usize) -> Ty<'tcx> { if let GenericArgKind::Type(ty) = self[i].unpack() { ty @@ -409,6 +410,7 @@ impl<'tcx> InternalSubsts<'tcx> { } #[inline] + #[track_caller] pub fn region_at(&self, i: usize) -> ty::Region<'tcx> { if let GenericArgKind::Lifetime(lt) = self[i].unpack() { lt @@ -418,6 +420,7 @@ impl<'tcx> InternalSubsts<'tcx> { } #[inline] + #[track_caller] pub fn const_at(&self, i: usize) -> ty::Const<'tcx> { if let GenericArgKind::Const(ct) = self[i].unpack() { ct @@ -427,6 +430,7 @@ impl<'tcx> InternalSubsts<'tcx> { } #[inline] + #[track_caller] pub fn type_for_def(&self, def: &ty::GenericParamDef) -> GenericArg<'tcx> { self.type_at(def.index as usize).into() } |
