Merge remote-tracking branch 'origin/main' into next

2025-12-21 12:14:44 +01:00 · 2022-02-27 08:41:21 -08:00
parent e2fe87b7e0 b3bc29527a
commit 17eb5fe4cd
5 changed files with 37 additions and 10 deletions
--- a/include/swift/Basic/LangOptions.h
+++ b/include/swift/Basic/LangOptions.h
@@ -88,7 +88,10 @@ namespace swift {
    Enabled = 1,

    /// Use both and assert if the results do not match.
-    Verify = 2
+    Verify = 2,
+
+    /// Use both, print a message only but do not assert on mismatch.
+    Check = 3,
  };

  /// A collection of options that affect the language dialect and