[Constraint solver] Check switch exhaustiveness in function builders

2025-12-21 12:14:44 +01:00 · 2020-03-03 13:44:36 -08:00
parent ea8d143f64
commit 7ee33a920d
2 changed files with 17 additions and 0 deletions
--- a/lib/Sema/BuilderTransform.cpp
+++ b/lib/Sema/BuilderTransform.cpp
@@ -1123,6 +1123,8 @@ public:
      ++caseIndex;
    }

+    TypeChecker::checkSwitchExhaustiveness(switchStmt, dc, /*limited=*/false);
+
    return switchStmt;
  }