Fixed Issue #429: more cases for testing added.
diff --git a/LanguageFeatures/Extension-methods/generic_parameter_inference_A01_t01.dart b/LanguageFeatures/Extension-methods/generic_parameter_inference_A01_t01.dart
index f777178..ee6240e 100644
--- a/LanguageFeatures/Extension-methods/generic_parameter_inference_A01_t01.dart
+++ b/LanguageFeatures/Extension-methods/generic_parameter_inference_A01_t01.dart
@@ -27,10 +27,6 @@
Expect.equals(expected2, R);
}
- void checkme1<R>(expected1, expected2) {
- Expect.equals(expected1, T);
- Expect.equals(expected2, R);
- }
}
main() {
diff --git a/LanguageFeatures/Extension-methods/generic_parameter_inference_A01_t05.dart b/LanguageFeatures/Extension-methods/generic_parameter_inference_A01_t05.dart
index 86e9ac8..12c594b 100644
--- a/LanguageFeatures/Extension-methods/generic_parameter_inference_A01_t05.dart
+++ b/LanguageFeatures/Extension-methods/generic_parameter_inference_A01_t05.dart
@@ -10,16 +10,19 @@
* mentioned above, the inference is similar to other cases of chained inference.
* @description Check that two-step type inference forces correct type parameter
* choice and error is thrown if method parameter is of incorrect type.
- * @compile-error
* @author iarkh@unipro.ru
*/
// SharedOptions=--enable-experiment=extension-methods
extension SuperList<T> on List<T> {
- void checkme<R extends T>(R i) {}
+ void checkme1<R>(R i) {}
+ void checkme2<R extends T>(R i) {}
}
main() {
List<String> list = [];
- list.checkme(42);
+ list.checkme1(42);
+ list.checkme1<int>(42);
+ list.checkme2(42); //# 01: compile-time error
+ list.checkme2<int>(42); //# 02: compile-time error
}