Fixes #1256. Use correct type of super parameters. Expect an error if the type is wrong
diff --git a/LanguageFeatures/Super-parameters/type_inference_A05_t03.dart b/LanguageFeatures/Super-parameters/type_inference_A05_t03.dart
index b111e46..fb6d01b 100644
--- a/LanguageFeatures/Super-parameters/type_inference_A05_t03.dart
+++ b/LanguageFeatures/Super-parameters/type_inference_A05_t03.dart
@@ -28,7 +28,7 @@
class C extends S {
int c1;
- C(this.c1, [num super.s1, int x, num super.s2]);
+ C(this.c1, [int super.s1, int x, int super.s2]);
}
main() {
diff --git a/LanguageFeatures/Super-parameters/type_inference_A05_t06.dart b/LanguageFeatures/Super-parameters/type_inference_A05_t06.dart
new file mode 100644
index 0000000..31ea33b
--- /dev/null
+++ b/LanguageFeatures/Super-parameters/type_inference_A05_t06.dart
@@ -0,0 +1,34 @@
+// Copyright (c) 2021, 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 We also copy the default value of the associated
+/// super-constructor if applicable:
+///
+/// If p is optional, does not declare a default value, the associated
+/// super-constructor parameter is also optional and has a default value d, and
+/// d is a subtype of the (declared or inferred above) type of p, then p gets
+/// the default value d.
+///
+/// @description Check that id `d` is not subtype of the declared type of p
+/// @author sgrekhov@unipro.ru
+
+// SharedOptions=--enable-experiment=super-parameters
+
+class S {
+ int s1;
+ int s2;
+ S([this.s1 = 1, this.s2 = 2]);
+}
+
+class C extends S {
+ int c1;
+ C(this.c1, [num super.s1, int x, num super.s2]);
+// ^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+ C(42);
+}
