Fixes #525. Expect error not on 'switch' but on 'case'
diff --git a/LanguageFeatures/nnbd/static_errors_A31_t03.dart b/LanguageFeatures/nnbd/static_errors_A31_t03.dart
index 9b6e864..d05384e 100644
--- a/LanguageFeatures/nnbd/static_errors_A31_t03.dart
+++ b/LanguageFeatures/nnbd/static_errors_A31_t03.dart
@@ -27,20 +27,17 @@
class C {
const C();
-
bool operator ==(Object other) => true;
}
main() {
const c1 = const C();
-
C c = new C();
-
switch (c) {
-//^^^^^^
+ case c1:
+// ^^
// [analyzer] unspecified
// [cfe] unspecified
- case c1:
true;
break;
default:
