diff --git a/src/base.rs b/src/base.rs
index a056b8e3d54..1a15079a7a6 100644
--- a/src/base.rs
+++ b/src/base.rs
@@ -657,8 +657,8 @@ fn trans_stmt<'a, 'tcx: 'a>(
         | StatementKind::StorageDead(_)
         | StatementKind::Nop
         | StatementKind::FakeRead(..)
-        | StatementKind::Validate(_, _)
         | StatementKind::EndRegion(_)
+        | StatementKind::Retag { .. }
         | StatementKind::AscribeUserType(..) => {}
 
         StatementKind::InlineAsm { .. } => unimpl!("Inline assembly is not supported"),