diff --git a/src/base.rs b/src/base.rs
index caa4eae75f8..0dd7e1382c0 100644
--- a/src/base.rs
+++ b/src/base.rs
@@ -549,7 +549,7 @@ fn trans_stmt<'a, 'tcx: 'a>(
         | StatementKind::ReadForMatch(_)
         | StatementKind::Validate(_, _)
         | StatementKind::EndRegion(_)
-        | StatementKind::UserAssertTy(_, _) => {}
+        | StatementKind::AscribeUserType(..) => {}
 
         StatementKind::InlineAsm { .. } => unimpl!("Inline assembly is not supported"),
     }