Fixed Issue #465: tests for overriding with NNBD re-named and corrected.
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t05.dart b/LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t01.dart
similarity index 61%
rename from LanguageFeatures/nnbd/override_checking_A02_t05.dart
rename to LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t01.dart
index db37c42..3dd0137 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t05.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t01.dart
@@ -19,11 +19,37 @@
import "override_checking_legacy_lib.dart";
-class A1 extends A {
- void test_never(Never i) {}
-// ^^^^^^^^^^
+class A extends LEGACY_ARGS {
+ void test_int(Never i) {}
+// ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
+
+ void test_object(Never o) {}
+// ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_dynamic(Never i) {}
+// ^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_function(Never f) {}
+// ^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_null(Never n) {}
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_futureOr(Never i) {}
+// ^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
}
main() {}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t22.dart b/LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t02.dart
similarity index 61%
rename from LanguageFeatures/nnbd/override_checking_A02_t22.dart
rename to LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t02.dart
index c638a8b..11c9ad6 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t22.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t02.dart
@@ -19,23 +19,37 @@
import "override_checking_legacy_lib.dart";
-class A1 implements A {
- void test_never(Never i) {}
-// ^^^^^^^^^^
+class A implements LEGACY_ARGS {
+ void test_int(Never i) {}
+// ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
- int? test_return_nullable() => 1;
- Null test_return_never() => null;
- int? aField1 = 1;
- int? aField2 = 2;
- int? aField3 = 3;
- int? get get_field1 => -1;
- int? get get_field2 => -2;
- int? get get_field3 => -3;
- void set set_field1(int? i) {}
- void set set_field2(int? i) {}
- void set set_field3(int? i) {}
+ void test_object(Never o) {}
+// ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_dynamic(Never i) {}
+// ^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_function(Never f) {}
+// ^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_null(Never n) {}
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_futureOr(Never i) {}
+// ^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
}
main() {}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t39.dart b/LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t03.dart
similarity index 61%
rename from LanguageFeatures/nnbd/override_checking_A02_t39.dart
rename to LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t03.dart
index c2caa5b..9dc0f3b 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t39.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t03.dart
@@ -19,9 +19,34 @@
import "override_checking_legacy_lib.dart";
-class A1 with A {
- void test_never(Never i) {}
-// ^^^^^^^^^^
+class A with LEGACY_ARGS {
+ void test_int(Never i) {}
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_object(Never o) {}
+// ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_dynamic(Never i) {}
+// ^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_function(Never f) {}
+// ^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_null(Never n) {}
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_futureOr(Never i) {}
+// ^^^^^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
diff --git a/LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t04.dart b/LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t04.dart
new file mode 100644
index 0000000..f9a5c4b
--- /dev/null
+++ b/LanguageFeatures/nnbd/override_checking_A02_NEVER_ARGS_t04.dart
@@ -0,0 +1,64 @@
+/*
+ * Copyright (c) 2019, 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 In a migrated library, override checking must check that an
+ * override is consistent with all overridden methods from other migrated
+ * libraries in the super-interface chain, since a legacy library is permitted
+ * to override otherwise incompatible signatures for a method.
+ *
+ * @description Check that if opted-in class implements two classes with some
+ * method (one is legacy), compile time error is thrown if parent legacy method
+ * parameter is of any legacy type and child opted-in method parameter is
+ * [Never].
+ *
+ * @author iarkh@unipro.ru
+ */
+// SharedOptions=--enable-experiment=non-nullable
+
+import "override_checking_legacy_lib.dart";
+
+class B {
+ void test_int (Never i) {}
+ void test_object (Never o) {}
+ void test_dynamic (Never i) {}
+ void test_function(Never f) {}
+ void test_null (Never n) {}
+ void test_futureOr(Never i) {}
+}
+
+class A implements LEGACY_ARGS, B {
+ void test_int(Never i) {}
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_object(Never o) {}
+// ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_dynamic(Never i) {}
+// ^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_function(Never f) {}
+// ^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_null(Never n) {}
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void test_futureOr(Never i) {}
+// ^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t23.dart b/LanguageFeatures/nnbd/override_checking_A02_t23.dart
index 1afc507..530dfa2 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t23.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t23.dart
@@ -22,7 +22,6 @@
class A1 implements A {
int? aField1 = 0;
- void test_never(Null i) {}
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
@@ -38,7 +37,6 @@
class A2 implements A {
int? aField1 = null;
- void test_never(Null i) {}
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
@@ -54,7 +52,6 @@
class A3 implements A {
int? aField1;
- void test_never(Null i) {}
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t24.dart b/LanguageFeatures/nnbd/override_checking_A02_t24.dart
index a8e3a03..aa6bb69 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t24.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t24.dart
@@ -25,7 +25,6 @@
// [analyzer] unspecified
// [cfe] unspecified
- void test_never(Null i) {}
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
@@ -44,7 +43,6 @@
// [analyzer] unspecified
// [cfe] unspecified
- void test_never(Null i) {}
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
@@ -63,7 +61,6 @@
// [analyzer] unspecified
// [cfe] unspecified
- void test_never(Null i) {}
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t25.dart b/LanguageFeatures/nnbd/override_checking_A02_t25.dart
index 1eb922a..12b2d10 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t25.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t25.dart
@@ -27,7 +27,6 @@
int? get get_field2 => null;
int? get get_field3 => aField3;
- void test_never(Null i) {}
int test_return_nullable() => 1;
Null test_return_never() => null;
void set set_field1(int i) {}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t26.dart b/LanguageFeatures/nnbd/override_checking_A02_t26.dart
index eb0c2f1..cf8b13d 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t26.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t26.dart
@@ -27,7 +27,6 @@
int? aField1 = 1;
int? aField2 = null;
int? aField3;
- void test_never(Null i) {}
int test_return_nullable() => 1;
Null test_return_never() => null;
void set set_field1(int i) {}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t27.dart b/LanguageFeatures/nnbd/override_checking_A02_t27.dart
index 40c2ac6..d25151f 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t27.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t27.dart
@@ -31,7 +31,6 @@
void set set_field2(int? i) { aField2 = i; }
void set set_field3(int? i) { aField3 = i; }
- int test_never(Null i) => 1;
int test_return_nullable() => 1;
Null test_return_never() => null;
}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t28.dart b/LanguageFeatures/nnbd/override_checking_A02_t28.dart
index c282652..9c552a7 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t28.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t28.dart
@@ -41,7 +41,6 @@
// [analyzer] unspecified
// [cfe] unspecified
- void test_never(Null i) {}
int test_return_nullable() => 1;
Null test_return_never() => null;
}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t29.dart b/LanguageFeatures/nnbd/override_checking_A02_t29.dart
index d79c36f..d092f51 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t29.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t29.dart
@@ -22,7 +22,6 @@
class A1 implements A {
int? test_return_nullable() => 2;
- void test_never(Null i) {}
Null test_return_never() => null;
int? aField1 = 1;
int? aField2 = 2;
@@ -38,7 +37,6 @@
class A2 implements A {
int? test_return_nullable() => null;
- void test_never(Null i) {}
Null test_return_never() => null;
int? aField1 = 1;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t30.dart b/LanguageFeatures/nnbd/override_checking_A02_t30.dart
index 1e3dc7d..c0718a0 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t30.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t30.dart
@@ -22,7 +22,6 @@
class A1 implements A {
int test_return_nullable() => 2;
- void test_never(Null i) {}
Null test_return_never() => null;
int? aField1 = 1;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t33.dart b/LanguageFeatures/nnbd/override_checking_A02_t33.dart
index 51ad3f0..7253820 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t33.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t33.dart
@@ -21,7 +21,6 @@
class A1 implements A {
Never test_return_never() => throw "It's impossible!";
- void test_never(Null i) {}
int? test_return_nullable() { return 1; }
int? aField1 = 1;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t34.dart b/LanguageFeatures/nnbd/override_checking_A02_t34.dart
index aab861e..83c74cf 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t34.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t34.dart
@@ -22,7 +22,6 @@
class A1 implements A {
Never test_return_never() => throw "It's impossible!";
- void test_never(Null i) {}
int? test_return_nullable() { return 1; }
int? aField1 = 1;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t56.dart b/LanguageFeatures/nnbd/override_checking_A02_t56.dart
deleted file mode 100644
index fcd8484..0000000
--- a/LanguageFeatures/nnbd/override_checking_A02_t56.dart
+++ /dev/null
@@ -1,46 +0,0 @@
-/*
- * Copyright (c) 2019, 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 In a migrated library, override checking must check that an
- * override is consistent with all overridden methods from other migrated
- * libraries in the super-interface chain, since a legacy library is permitted
- * to override otherwise incompatible signatures for a method.
- *
- * @description Check that if opted-in class implements two classes with some
- * method (one is legacy), compile time error is thrown if parent legacy method
- * parameter is of any legacy type and child opted-in method parameter is
- * [Never].
- *
- * @author iarkh@unipro.ru
- */
-// SharedOptions=--enable-experiment=non-nullable
-
-import "override_checking_legacy_lib.dart";
-
-abstract class B1 {
- void test_never(Never i);
-}
-
-class A1 implements A {
- void test_never(Never i) {}
-// ^^^^^^^^^^
-// [analyzer] unspecified
-// [cfe] unspecified
-
- int? test_return_nullable() => 1;
- Null test_return_never() => null;
- int? aField1 = 1;
- int? aField2 = 2;
- int? aField3 = 3;
- int? get get_field1 => -1;
- int? get get_field2 => -2;
- int? get get_field3 => -3;
- void set set_field1(int? i) {}
- void set set_field2(int? i) {}
- void set set_field3(int? i) {}
-}
-
-main() {}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t57.dart b/LanguageFeatures/nnbd/override_checking_A02_t57.dart
index 23fe2bf..c5d1d34 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t57.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t57.dart
@@ -27,7 +27,6 @@
class A1 implements A, B {
int? aField1 = 0;
- void test_never(Null i) => 1;
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
@@ -43,7 +42,6 @@
class A2 implements A, B {
int? aField1 = null;
- void test_never(Null i) => 1;
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
@@ -59,7 +57,6 @@
class A3 implements A, B {
int? aField1;
- void test_never(Null i) => 1;
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t58.dart b/LanguageFeatures/nnbd/override_checking_A02_t58.dart
index 50297f7..39484ad 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t58.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t58.dart
@@ -33,7 +33,6 @@
// [analyzer] unspecified
// [cfe] unspecified
- void test_never(Null i) => 1;
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
@@ -52,7 +51,6 @@
// [analyzer] unspecified
// [cfe] unspecified
- void test_never(Null i) => 1;
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
@@ -71,7 +69,6 @@
// [analyzer] unspecified
// [cfe] unspecified
- void test_never(Null i) => 1;
int? test_return_nullable() => 1;
Null test_return_never() => null;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t59.dart b/LanguageFeatures/nnbd/override_checking_A02_t59.dart
index 84541f4..720f24b 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t59.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t59.dart
@@ -34,7 +34,6 @@
int? get get_field2 => aField2;
int? get get_field3 => aField3;
- void test_never(Null i) {}
int test_return_nullable() => 1;
Null test_return_never() => null;
void set set_field1(int i) {}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t60.dart b/LanguageFeatures/nnbd/override_checking_A02_t60.dart
index ccd3de5..1103491 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t60.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t60.dart
@@ -34,7 +34,6 @@
int? aField1 = 1;
int? aField2 = null;
int? aField3;
- void test_never(Null i) {}
int test_return_nullable() => 1;
Null test_return_never() => null;
void set set_field1(int i) {}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t61.dart b/LanguageFeatures/nnbd/override_checking_A02_t61.dart
index 22897a7..0d0e284 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t61.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t61.dart
@@ -41,7 +41,6 @@
int? get get_field1 => aField1;
int? get get_field2 => aField2;
int? get get_field3 => aField3;
- void test_never(Null i) {}
int test_return_nullable() => 1;
Null test_return_never() => null;
}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t62.dart b/LanguageFeatures/nnbd/override_checking_A02_t62.dart
index c94a96c..7831019 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t62.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t62.dart
@@ -54,7 +54,6 @@
// [analyzer] unspecified
// [cfe] unspecified
- void test_never(Null i) {}
int test_return_nullable() => 1;
Null test_return_never() => null;
}
@@ -82,7 +81,6 @@
// [analyzer] unspecified
// [cfe] unspecified
- void test_never(Null i) {}
int test_return_nullable() => 1;
Null test_return_never() => null;
}
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t63.dart b/LanguageFeatures/nnbd/override_checking_A02_t63.dart
index 73d36e5..7f7db63 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t63.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t63.dart
@@ -30,7 +30,6 @@
class A1 implements A, B1 {
int? test_return_nullable() => null;
- void test_never(Null i) {}
Null test_return_never() => null;
int? aField1 = 1;
int? aField2 = 2;
@@ -46,7 +45,6 @@
class A2 implements A, B2 {
int test_return_nullable() => 2;
- void test_never(Null i) {}
Null test_return_never() => null;
int? aField1 = 1;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t64.dart b/LanguageFeatures/nnbd/override_checking_A02_t64.dart
index 3978c29..3f6478d 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t64.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t64.dart
@@ -30,7 +30,6 @@
class A1 implements A, B1 {
int test_return_nullable() => 1;
- void test_never(Null i) {}
Null test_return_never() => null;
int? aField1 = 1;
int? aField2 = 2;
@@ -46,7 +45,6 @@
class A2 implements A, B2 {
int test_return_nullable() => 2;
- void test_never(Null i) {}
Null test_return_never() => null;
int? aField1 = 1;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t67.dart b/LanguageFeatures/nnbd/override_checking_A02_t67.dart
index 1e266b3..472f37d 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t67.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t67.dart
@@ -25,7 +25,6 @@
class A1 implements A {
Never test_return_never() => throw "It's impossible!";
- void test_never(Null i) {}
int? test_return_nullable() => 1;
int? aField1 = 1;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_A02_t68.dart b/LanguageFeatures/nnbd/override_checking_A02_t68.dart
index 61434bd..d76a92d 100644
--- a/LanguageFeatures/nnbd/override_checking_A02_t68.dart
+++ b/LanguageFeatures/nnbd/override_checking_A02_t68.dart
@@ -24,7 +24,6 @@
class A1 implements A {
Never test_return_never() => throw "It's impossible!";
- void test_never(Null i) {}
int? test_return_nullable() => 1;
int? aField1 = 1;
int? aField2 = 2;
diff --git a/LanguageFeatures/nnbd/override_checking_legacy_lib.dart b/LanguageFeatures/nnbd/override_checking_legacy_lib.dart
index bfce35a..6936de1 100644
--- a/LanguageFeatures/nnbd/override_checking_legacy_lib.dart
+++ b/LanguageFeatures/nnbd/override_checking_legacy_lib.dart
@@ -15,24 +15,20 @@
import "../../Utils/expect.dart";
class LEGACY_ARGS {
- void test_int(int i) { Expect.fail("This method should be overriden"); }
- void test_object(Object o) { Expect.fail("This method should be overriden"); }
- void test_dynamic(dynamic i) { Expect.fail("This method should be overriden"); }
+ void test_int(int i) { Expect.fail("This method should be overriden"); }
+ void test_object(Object o) { Expect.fail("This method should be overriden"); }
+ void test_dynamic(dynamic i) { Expect.fail("This method should be overriden"); }
void test_function(Function f) { Expect.fail("This method should be overriden"); }
- void test_null(Null n) { Expect.fail("This method should be overriden"); }
+ void test_null(Null n) { Expect.fail("This method should be overriden"); }
void test_futureOr(FutureOr i) { Expect.fail("This method should be overriden"); }
}
class LEGACY_REQUIRED_ARGS {
void test_default({int i = 1}) { Expect.fail("This method should be overriden"); }
- void test_nondefault({int i}) { Expect.fail("This method should be overriden"); }
+ void test_nondefault({int i}) { Expect.fail("This method should be overriden"); }
}
class A {
- void test_never(Null i) {
- Expect.fail("This method should be overriden");
- }
-
int test_return_nullable() {
Expect.fail("This method should be overriden");
return -1;
