#1231. More Super parameters tests added
diff --git a/LanguageFeatures/Super-parameters/summary_A04_t01.dart b/LanguageFeatures/Super-parameters/summary_A04_t01.dart
new file mode 100644
index 0000000..50718ac
--- /dev/null
+++ b/LanguageFeatures/Super-parameters/summary_A04_t01.dart
@@ -0,0 +1,32 @@
+// 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 Effectively, each super parameters, super.p:
+/// ...
+/// Implicitly infers its type and default value, if not specified, if
+/// applicable, from the associated super-constructor parameter that they are
+/// forwarded to.
+///
+/// @description Check that super parameter implicitly infers its type from the
+/// associated super-constructor parameter that they are forwarded to.
+/// @author sgrekhov@unipro.ru
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+ num s;
+ S([this.s = 3.14]);
+}
+
+class C extends S {
+ int c;
+ C(this.c, [super.s, int x]);
+}
+
+main() {
+ Expect.equals(3.14, C(1).s);
+}
+
diff --git a/LanguageFeatures/Super-parameters/summary_A04_t02.dart b/LanguageFeatures/Super-parameters/summary_A04_t02.dart
new file mode 100644
index 0000000..80f2946
--- /dev/null
+++ b/LanguageFeatures/Super-parameters/summary_A04_t02.dart
@@ -0,0 +1,32 @@
+// 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 Effectively, each super parameters, super.p:
+/// ...
+/// Implicitly infers its type and default value, if not specified, if
+/// applicable, from the associated super-constructor parameter that they are
+/// forwarded to.
+///
+/// @description Check that super parameter implicitly infers its type from the
+/// associated super-constructor parameter that they are forwarded to.
+/// @author sgrekhov@unipro.ru
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+ num s;
+ S([num n = 3.14]) : s = n + 1;
+}
+
+class C extends S {
+ int c;
+ C(this.c, [super.s, int x]);
+}
+
+main() {
+ Expect.equals(4.14, C(1).s);
+}
+
diff --git a/LanguageFeatures/Super-parameters/summary_A04_t03.dart b/LanguageFeatures/Super-parameters/summary_A04_t03.dart
new file mode 100644
index 0000000..78e99e0
--- /dev/null
+++ b/LanguageFeatures/Super-parameters/summary_A04_t03.dart
@@ -0,0 +1,32 @@
+// 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 Effectively, each super parameters, super.p:
+/// ...
+/// Implicitly infers its type and default value, if not specified, if
+/// applicable, from the associated super-constructor parameter that they are
+/// forwarded to.
+///
+/// @description Check that super parameter implicitly infers its type from the
+/// associated super-constructor parameter that they are forwarded to.
+/// @author sgrekhov@unipro.ru
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+ num s;
+ S({this.s = 3.14});
+}
+
+class C extends S {
+ int c;
+ C(this.c, {super.s, int x});
+}
+
+main() {
+ Expect.equals(3.14, C(1).s);
+}
+
diff --git a/LanguageFeatures/Super-parameters/summary_A04_t04.dart b/LanguageFeatures/Super-parameters/summary_A04_t04.dart
new file mode 100644
index 0000000..3bd6993
--- /dev/null
+++ b/LanguageFeatures/Super-parameters/summary_A04_t04.dart
@@ -0,0 +1,32 @@
+// 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 Effectively, each super parameters, super.p:
+/// ...
+/// Implicitly infers its type and default value, if not specified, if
+/// applicable, from the associated super-constructor parameter that they are
+/// forwarded to.
+///
+/// @description Check that super parameter implicitly infers its type from the
+/// associated super-constructor parameter that they are forwarded to.
+/// @author sgrekhov@unipro.ru
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+ num s;
+ S({num n = 3.14}) : s = n + 1;
+}
+
+class C extends S {
+ int c;
+ C(this.c, {super.s, int x});
+}
+
+main() {
+ Expect.equals(4.14, C(1).s);
+}
+
diff --git a/LanguageFeatures/Super-parameters/summary_A05_t01.dart b/LanguageFeatures/Super-parameters/summary_A05_t01.dart
new file mode 100644
index 0000000..5ad2297
--- /dev/null
+++ b/LanguageFeatures/Super-parameters/summary_A05_t01.dart
@@ -0,0 +1,32 @@
+// 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 Effectively, each super parameters, super.p:
+/// ...
+/// Cannot be positional if the super-constructor invocation already has
+/// positional arguments.
+///
+/// @description Check that super parameter сannot be positional if the
+/// super-constructor invocation already has positional arguments.
+/// @author sgrekhov@unipro.ru
+
+// SharedOptions=--enable-experiment=super-parameters
+
+class S {
+ num s1, s2;
+ S(this.s1, [this.s2 = 3.14]);
+}
+
+class C extends S {
+ int c;
+ C(int x, super.s2) : this.c = x + 1, super(42);
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+ C(1, 2);
+}
+
diff --git a/LanguageFeatures/Super-parameters/summary_A05_t02.dart b/LanguageFeatures/Super-parameters/summary_A05_t02.dart
new file mode 100644
index 0000000..6348c45
--- /dev/null
+++ b/LanguageFeatures/Super-parameters/summary_A05_t02.dart
@@ -0,0 +1,32 @@
+// 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 Effectively, each super parameters, super.p:
+/// ...
+/// Cannot be positional if the super-constructor invocation already has
+/// positional arguments.
+///
+/// @description Check that super parameter сannot be positional if the
+/// super-constructor invocation already has positional arguments.
+/// @author sgrekhov@unipro.ru
+
+// SharedOptions=--enable-experiment=super-parameters
+
+class S {
+ num s1, s2, s3;
+ S(this.s1, int x, {this.s3 = 3.14});
+}
+
+class C extends S {
+ int c;
+ C(this.c, super.s2) : super. super(42, s3: 0);
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+ C(1, 2);
+}
+
diff --git a/LanguageFeatures/Super-parameters/summary_A06_t01.dart b/LanguageFeatures/Super-parameters/summary_A06_t01.dart
new file mode 100644
index 0000000..929571b
--- /dev/null
+++ b/LanguageFeatures/Super-parameters/summary_A06_t01.dart
@@ -0,0 +1,31 @@
+// 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 Effectively, each super parameters, super.p:
+/// ...
+/// But can always be named.
+///
+/// @description Check that super parameter always can be named
+/// @author sgrekhov@unipro.ru
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+ num s1, s2;
+ S(this.s1, {this.s2 = 3.14});
+}
+
+class C extends S {
+ int c;
+ C(int x, {super.s2}) : this.c = x + 1, super(42);
+}
+
+main() {
+ var c = C(1, s2: -1);
+ Expect.equals(-1, c.s2);
+ Expect.equals(42, c.s1);
+}
+
diff --git a/LanguageFeatures/Super-parameters/summary_A06_t02.dart b/LanguageFeatures/Super-parameters/summary_A06_t02.dart
new file mode 100644
index 0000000..f042643
--- /dev/null
+++ b/LanguageFeatures/Super-parameters/summary_A06_t02.dart
@@ -0,0 +1,33 @@
+// 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 Effectively, each super parameters, super.p:
+/// ...
+/// But can always be named.
+///
+/// @description Check that super parameter always can be named
+/// @author sgrekhov@unipro.ru
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+ num s1, s2, s3, s4;
+ S(this.s1, num x, {this.s3 = 3.14, this.s4 = 0}) : this.s2 = x;
+}
+
+class C extends S {
+ int c;
+ C(int x, {super.s3, super.s4}) : this.c = x + 1, super(42, -1);
+}
+
+main() {
+ var c = C(1, s3: -3, s4: 4);
+ Expect.equals(42, c.s1);
+ Expect.equals(-1, c.s2);
+ Expect.equals(-3, c.s3);
+ Expect.equals(4, c.s3);
+}
+
