diff options
| author | Camille Gillot <gillot.camille@gmail.com> | 2025-09-14 22:29:04 +0000 |
|---|---|---|
| committer | Camille Gillot <gillot.camille@gmail.com> | 2025-09-16 22:23:19 +0000 |
| commit | 53b91ea87fe4b430c33bd22dfdaaa6289bf9466a (patch) | |
| tree | ff8b01687fad47e7bdfdaeb48e20660085a5eb7d /compiler/rustc_mir_transform/src/validate.rs | |
| parent | a9d0a6f15533a364816c4d81e2192009ef601d33 (diff) | |
| download | rust-53b91ea87fe4b430c33bd22dfdaaa6289bf9466a.tar.gz rust-53b91ea87fe4b430c33bd22dfdaaa6289bf9466a.zip | |
Remove Rvalue::Len.
Diffstat (limited to 'compiler/rustc_mir_transform/src/validate.rs')
| -rw-r--r-- | compiler/rustc_mir_transform/src/validate.rs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/compiler/rustc_mir_transform/src/validate.rs b/compiler/rustc_mir_transform/src/validate.rs index 99e4782e470..c8a9a88dc3f 100644 --- a/compiler/rustc_mir_transform/src/validate.rs +++ b/compiler/rustc_mir_transform/src/validate.rs @@ -1064,14 +1064,6 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> { } } Rvalue::Ref(..) => {} - Rvalue::Len(p) => { - let pty = p.ty(&self.body.local_decls, self.tcx).ty; - check_kinds!( - pty, - "Cannot compute length of non-array type {:?}", - ty::Array(..) | ty::Slice(..) - ); - } Rvalue::BinaryOp(op, vals) => { use BinOp::*; let a = vals.0.ty(&self.body.local_decls, self.tcx); |