Fixes #526. Remove tests for the statement deleted from spec
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t01.dart b/LanguageFeatures/nnbd/static_errors_A31_t01.dart
index 612d846..ca56384 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t01.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t01.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is no longer required that the ei evaluate to
* instances of the same class.
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t02.dart b/LanguageFeatures/nnbd/static_errors_A31_t02.dart
index 88d55ca..9d206ce 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t02.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t02.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is an error if any of the ei evaluate to a value
* whose static type is not a subtype of T
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t03.dart b/LanguageFeatures/nnbd/static_errors_A31_t03.dart
index e24c5a4..9b6e864 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t03.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t03.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is an error if any of the ei evaluate to constants
* for which equality is not primitive.
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t04.dart b/LanguageFeatures/nnbd/static_errors_A31_t04.dart
index f2dc6e4..d2cef01 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t04.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t04.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is a warning if T is an enum type and the switch
* does not handle all enum cases, either explicitly or via a default.
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t05.dart b/LanguageFeatures/nnbd/static_errors_A31_t05.dart
index 11a0d36..9f1ea30 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t05.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t05.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is no warning if T is an enum type and the switch
* does handle all enum cases explicitly.
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t06.dart b/LanguageFeatures/nnbd/static_errors_A31_t06.dart
index b403554..c3d892d 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t06.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t06.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is no warning if T is an enum type and the switch
* does handle all enum cases via a default.
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t07.dart b/LanguageFeatures/nnbd/static_errors_A31_t07.dart
index 8b5c3eb..ca9e50e 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t07.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t07.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is a warning if T is Q? where Q is an enum type
* and the switch does not handle all enum cases and null, either explicitly or
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t08.dart b/LanguageFeatures/nnbd/static_errors_A31_t08.dart
index 54edb42..e401385 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t08.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t08.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is a warning if T is Q? where Q is an enum type
* and the switch does not handle all enum cases and null, either explicitly or
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t09.dart b/LanguageFeatures/nnbd/static_errors_A31_t09.dart
index 69f3d5d..35c6d7c 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t09.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t09.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is no warning if T is Q? where Q is an enum type
* and the switch does handle all enum cases and null explicitly
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t10.dart b/LanguageFeatures/nnbd/static_errors_A31_t10.dart
index 63c99d9..8111292 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t10.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t10.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is no warning if T is Q? where Q is an enum type
* and the switch does handle all enum cases and null via default
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t11.dart b/LanguageFeatures/nnbd/static_errors_A31_t11.dart
deleted file mode 100644
index d72a993..0000000
--- a/LanguageFeatures/nnbd/static_errors_A31_t11.dart
+++ /dev/null
@@ -1,44 +0,0 @@
-/*
- * 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 Given a switch statement which switches over an expression e of
- * type T, where the cases are dispatched based on expressions e0...ek:
- *
- * - It is no longer required that the ei evaluate to instances of the same
- * class.
- * - It is an error if any of the ei evaluate to a value whose static type is
- * not a subtype of T.
- * - It is an error if any of the ei evaluate to constants for which equality
- * is not primitive.
- * - If T is an enum type, it is a warning if the switch does not handle all
- * enum cases, either explicitly or via a default.
- * - If T is Q? where Q is an enum type, it is a warning if the switch does not
- * handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
- *
- * @description Check that it is a warning if a switch over a nullable type does
- * not handle null either explicitly or via a default. Test dynamic
- * @author sgrekhov@unipro.ru
- * @static-warning
- * @issue https://github.com/dart-lang/language/issues/792
- */
-// SharedOptions=--enable-experiment=non-nullable
-// Requirements=nnbd-strong
-
-main() {
- dynamic d = 42;
- switch (d) { /// static type warning
- case 1:
- true;
- break;
- case 2:
- false;
- break;
- case 42:
- 42;
- }
-}
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t12.dart b/LanguageFeatures/nnbd/static_errors_A31_t12.dart
deleted file mode 100644
index 2416391..0000000
--- a/LanguageFeatures/nnbd/static_errors_A31_t12.dart
+++ /dev/null
@@ -1,43 +0,0 @@
-/*
- * 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 Given a switch statement which switches over an expression e of
- * type T, where the cases are dispatched based on expressions e0...ek:
- *
- * - It is no longer required that the ei evaluate to instances of the same
- * class.
- * - It is an error if any of the ei evaluate to a value whose static type is
- * not a subtype of T.
- * - It is an error if any of the ei evaluate to constants for which equality
- * is not primitive.
- * - If T is an enum type, it is a warning if the switch does not handle all
- * enum cases, either explicitly or via a default.
- * - If T is Q? where Q is an enum type, it is a warning if the switch does not
- * handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
- *
- * @description Check that it is a warning if a switch over a nullable type does
- * not handle null either explicitly or via a default. Test int?
- * @author sgrekhov@unipro.ru
- * @static-warning
- */
-// SharedOptions=--enable-experiment=non-nullable
-// Requirements=nnbd-strong
-
-main() {
- int? i = 42;
- switch (i) { /// static type warning
- case 1:
- true;
- break;
- case 2:
- false;
- break;
- case 42:
- 42;
- }
-}
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t13.dart b/LanguageFeatures/nnbd/static_errors_A31_t13.dart
index d01a0ea..10608a8 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t13.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t13.dart
@@ -17,8 +17,6 @@
* enum cases, either explicitly or via a default.
* - If T is Q? where Q is an enum type, it is a warning if the switch does not
* handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
*
* @description Check that it is no warning if a switch over a legacy type does
* not handle null either explicitly or via a default.
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t14.dart b/LanguageFeatures/nnbd/static_errors_A31_t14.dart
deleted file mode 100644
index d760b06..0000000
--- a/LanguageFeatures/nnbd/static_errors_A31_t14.dart
+++ /dev/null
@@ -1,45 +0,0 @@
-/*
- * 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 Given a switch statement which switches over an expression e of
- * type T, where the cases are dispatched based on expressions e0...ek:
- *
- * - It is no longer required that the ei evaluate to instances of the same
- * class.
- * - It is an error if any of the ei evaluate to a value whose static type is
- * not a subtype of T.
- * - It is an error if any of the ei evaluate to constants for which equality
- * is not primitive.
- * - If T is an enum type, it is a warning if the switch does not handle all
- * enum cases, either explicitly or via a default.
- * - If T is Q? where Q is an enum type, it is a warning if the switch does not
- * handle all enum cases and null, either explicitly or via a default.
- * - It is a warning if a switch over a nullable type does not handle null
- * either explicitly or via a default.
- *
- * @description Check that it is a warning if a switch over a nullable type does
- * not handle null either explicitly or via a default. Test int?
- * @author sgrekhov@unipro.ru
- * @static-warning
- */
-// SharedOptions=--enable-experiment=non-nullable,nonfunction-type-aliases
-// Requirements=nnbd-strong
-
-typedef IntAlias = int?;
-
-main() {
- IntAlias i = 42;
- switch (i) { /// static type warning
- case 1:
- true;
- break;
- case 2:
- false;
- break;
- case 42:
- 42;
- }
-}
