diff --git a/src/tint/resolver/resolver.cc b/src/tint/resolver/resolver.cc
index 0f558b8..bbabef7 100644
--- a/src/tint/resolver/resolver.cc
+++ b/src/tint/resolver/resolver.cc
@@ -3113,6 +3113,9 @@
                     continue;
                 }
                 auto* sem_expr = Expression(sel->expr);
+                if (!sem_expr) {
+                    return false;
+                }
                 types.Push(sem_expr->Type()->UnwrapRef());
             }
         }
diff --git a/src/tint/resolver/resolver_test.cc b/src/tint/resolver/resolver_test.cc
index 97f5020..5495356 100644
--- a/src/tint/resolver/resolver_test.cc
+++ b/src/tint/resolver/resolver_test.cc
@@ -135,6 +135,14 @@
     EXPECT_EQ(sem->Cases()[1]->Selectors().size(), 1u);
 }
 
+TEST_F(ResolverTest, Stmt_Case_AddressOf_Invalid) {
+    auto* cond_var = Var("i", ty.i32());
+    WrapInFunction(cond_var, Switch("i", Case(CaseSelector(AddressOf(1_a)), Block())));
+
+    EXPECT_FALSE(r()->Resolve());
+    EXPECT_EQ(r()->error(), "error: cannot take the address of expression");
+}
+
 TEST_F(ResolverTest, Stmt_Block) {
     auto* v = Var("v", ty.f32());
     auto* lhs = Expr("v");