| abstract class Implement1 { |
| void method(covariant int a, int b, int c, int d, int e) {} |
| } |
| |
| class C extends Object with M1, M2 {} |
| |
| class Direct { |
| void named( |
| {covariant int a = 0, int b = 0, covariant int c = 0, int d = 0}) {} |
| void optional( |
| [covariant int a = 0, int b = 0, covariant int c = 0, int d = 0]) {} |
| void positional(covariant int a, int b, covariant int c, int d, int e) {} |
| } |
| |
| class Implement2 { |
| void method(int a, covariant int b, int c, int d, int e) {} |
| } |
| |
| class Implement3 { |
| void method(int a, int b, covariant int c, int d, int e) {} |
| } |
| |
| class Implement4 implements Implement3 { |
| void method(int a, int b, int c, covariant int d, int e) {} |
| } |
| |
| class Implement5 implements Implement1, Implement2, Implement4 { |
| void method(int a, int b, int c, int d, covariant int e) {} |
| } |
| |
| class Inherited extends Direct {} |
| |
| class Interface1 { |
| void method(covariant int a, int b, int c, int d, int e) {} |
| } |
| |
| class Interface2 { |
| void method(int a, covariant int b, int c, int d, int e) {} |
| } |
| |
| class M1 { |
| method(covariant int a, int b) {} |
| } |
| |
| class M2 { |
| method(int a, covariant int b) {} |
| } |
| |
| class Mixed extends Superclass |
| with Mixin1, Mixin2 |
| implements Interface1, Interface2 {} |
| |
| class Mixin1 { |
| void method(int a, int b, covariant int c, int d, int e) {} |
| } |
| |
| class Mixin2 { |
| void method(int a, int b, int c, covariant int d, int e) {} |
| } |
| |
| class Override1 { |
| void method(covariant int a, int b, int c, int d, int e) {} |
| } |
| |
| class Override2 extends Override1 { |
| void method(int a, int b, covariant int c, int d, int e) {} |
| } |
| |
| class Override3 extends Override2 { |
| void method(int a, int b, int c, int d, int e) {} |
| } |
| |
| class Superclass { |
| void method(int a, int b, int c, int d, covariant int e) {} |
| } |
| |
| void main() {} |