-
Notifications
You must be signed in to change notification settings - Fork 1.6k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[cfe] Remove coercions for super parameters
Part of #47525 Change-Id: Iadb2f0125318edd73ab84e5b1a9cafae098ec618 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/239081 Reviewed-by: Johnni Winther <[email protected]> Commit-Queue: Chloe Stefantsova <[email protected]>
- Loading branch information
1 parent
95d1ae9
commit 61465fb
Showing
13 changed files
with
1,400 additions
and
8 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
82 changes: 82 additions & 0 deletions
82
pkg/front_end/testcases/super_parameters/no_coercions.dart
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,82 @@ | ||
| // Copyright (c) 2022, 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. | ||
|
|
||
| class A1 { | ||
| A1(int x); | ||
| } | ||
|
|
||
| class B1 extends A1 { | ||
| B1.one(dynamic super.x); // Error. | ||
| B1.two(dynamic super.x) : super(); // Error. | ||
| } | ||
|
|
||
| class A2 { | ||
| A2({required String x}); | ||
| } | ||
|
|
||
| class B2 extends A2 { | ||
| B2.one({required dynamic super.x}); // Error. | ||
| B2.two({required dynamic super.x}) : super(); // Error. | ||
| } | ||
|
|
||
| class A3 { | ||
| A3(num Function(double) f); | ||
| } | ||
|
|
||
| class B3 extends A3 { | ||
| B3.one(X Function<X>(double) super.f); // Error. | ||
| B3.two(X Function<X>(double) super.f) : super(); // Error. | ||
| } | ||
|
|
||
| class A4 { | ||
| A4({required num Function(double) f}); | ||
| } | ||
|
|
||
| class B4 extends A4 { | ||
| B4.one({required X Function<X>(double) super.f}); // Error. | ||
| B4.two({required X Function<X>(double) super.f}) : super(); // Error. | ||
| } | ||
|
|
||
| abstract class C5 { | ||
| String call(int x, num y); | ||
| } | ||
|
|
||
| class A5 { | ||
| A5(String Function(int, num) f); | ||
| } | ||
|
|
||
| class B5 extends A5 { | ||
| B5.one(C5 super.f); // Error. | ||
| B5.two(C5 super.f) : super(); // Error. | ||
| } | ||
|
|
||
| class A6 { | ||
| A6({required String Function(int, num) f}); | ||
| } | ||
|
|
||
| class B6 extends A6 { | ||
| B6.one({required C5 super.f}); // Error. | ||
| B6.two({required C5 super.f}) : super(); // Error. | ||
| } | ||
|
|
||
| class A7 { | ||
| A7({required int x1, | ||
| required int x2, | ||
| required bool Function(Object) f1, | ||
| required bool Function(Object) f2, | ||
| required void Function(dynamic) g1, | ||
| required void Function(dynamic) g2}); | ||
| } | ||
|
|
||
| class B7 extends A7 { | ||
| B7({required dynamic super.x1, // Error. | ||
| required dynamic x2, | ||
| required X Function<X>(Object) super.f1, // Error. | ||
| required X Function<X>(Object) f2, | ||
| required void Function<X>(X) super.g1, // Error. | ||
| required void Function<X>(X) g2}) : | ||
| super(x2: x2, f2: f2, g2: g2); // Ok. | ||
| } | ||
|
|
||
| main() {} |
Oops, something went wrong.