Static errors swithc statement tests added
diff --git a/LanguageFeatures/nnbd/static_errors_A30_t01.dart b/LanguageFeatures/nnbd/static_errors_A30_t01.dart
new file mode 100644
index 0000000..51d37e4
--- /dev/null
+++ b/LanguageFeatures/nnbd/static_errors_A30_t01.dart
@@ -0,0 +1,37 @@
+/*
+ * Copyright (c) 2020, the Dart project authors. Please see the AUTHORS file
+ * for details. All rights reserved. Use of this source code is governed by a
+ * BSD-style license that can be found in the LICENSE file.
+ */
+/**
+ * @assertion It is an error if any case of a switch statement except the last
+ * case (the default case if present) may complete normally. The previous
+ * syntactic restriction requiring the last statement of each case to be one of
+ * an enumerated list of statements (break, continue, return, throw, or rethrow)
+ * is removed.
+ *
+ * @description Check that it is an error if any case of a switch statement
+ * except the last case (the default case if present) may complete normally
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=non-nullable
+// Requirements=nnbd-strong
+
+void foo() {}
+
+main() {
+ int i = 42;
+ switch (i) {
+ case 1: true;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ case 2: foo();
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ case 42: false;
+ }
+}
diff --git a/LanguageFeatures/nnbd/static_errors_A30_t02.dart b/LanguageFeatures/nnbd/static_errors_A30_t02.dart
new file mode 100644
index 0000000..188194a
--- /dev/null
+++ b/LanguageFeatures/nnbd/static_errors_A30_t02.dart
@@ -0,0 +1,35 @@
+/*
+ * Copyright (c) 2020, the Dart project authors. Please see the AUTHORS file
+ * for details. All rights reserved. Use of this source code is governed by a
+ * BSD-style license that can be found in the LICENSE file.
+ */
+/**
+ * @assertion It is an error if any case of a switch statement except the last
+ * case (the default case if present) may complete normally. The previous
+ * syntactic restriction requiring the last statement of each case to be one of
+ * an enumerated list of statements (break, continue, return, throw, or rethrow)
+ * is removed.
+ *
+ * @description Check that it is an error if any case of a switch statement
+ * except the last case (the default case if present) may complete normally
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=non-nullable
+// Requirements=nnbd-strong
+
+main() {
+ int i = 42;
+ switch (i) {
+ case 1: true;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ case 2: foo();
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ default: false;
+ }
+}
diff --git a/LanguageFeatures/nnbd/static_errors_A30_t03.dart b/LanguageFeatures/nnbd/static_errors_A30_t03.dart
new file mode 100644
index 0000000..5c6cb29
--- /dev/null
+++ b/LanguageFeatures/nnbd/static_errors_A30_t03.dart
@@ -0,0 +1,30 @@
+/*
+ * Copyright (c) 2020, the Dart project authors. Please see the AUTHORS file
+ * for details. All rights reserved. Use of this source code is governed by a
+ * BSD-style license that can be found in the LICENSE file.
+ */
+/**
+ * @assertion It is an error if any case of a switch statement except the last
+ * case (the default case if present) may complete normally. The previous
+ * syntactic restriction requiring the last statement of each case to be one of
+ * an enumerated list of statements (break, continue, return, throw, or rethrow)
+ * is removed.
+ *
+ * @description Check that it is not an error if any case of a switch statement
+ * may not complete normally
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=non-nullable
+// Requirements=nnbd-strong
+
+Never willThrow() => throw "Lily was here";
+
+main() {
+ int i = 42;
+ switch (i) {
+ case 1: willThrow();
+ case 2:
+ case 42: willThrow();
+ default: false;
+ }
+}
diff --git a/LanguageFeatures/nnbd/static_errors_A30_t04.dart b/LanguageFeatures/nnbd/static_errors_A30_t04.dart
new file mode 100644
index 0000000..9f6414a
--- /dev/null
+++ b/LanguageFeatures/nnbd/static_errors_A30_t04.dart
@@ -0,0 +1,30 @@
+/*
+ * Copyright (c) 2020, the Dart project authors. Please see the AUTHORS file
+ * for details. All rights reserved. Use of this source code is governed by a
+ * BSD-style license that can be found in the LICENSE file.
+ */
+/**
+ * @assertion It is an error if any case of a switch statement except the last
+ * case (the default case if present) may complete normally. The previous
+ * syntactic restriction requiring the last statement of each case to be one of
+ * an enumerated list of statements (break, continue, return, throw, or rethrow)
+ * is removed.
+ *
+ * @description Check that it is not an error if any case of a switch statement
+ * may not complete normally
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=non-nullable
+// Requirements=nnbd-strong
+
+Never willThrow() => throw "Lily was here";
+
+main() {
+ int i = 42;
+ switch (i) {
+ case 1: willThrow();
+ case 2:
+ case 42: willThrow();
+ case 43: false;
+ }
+}
