| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:34:36: Error: A value of type 'void Function(int)' can't be assigned to a variable of type 'void Function(num)'. |
| // void Function(num) g = Class().method; // Error: type `void Function(int)`. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:36:20: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| // Class().method(b); // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:42:13: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class()[b]; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:49:18: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class()[a] = c; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:51:13: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class()[c] = b; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:53:16: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class()[a] += c; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:59:22: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class().setter = b; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:71:21: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class1()[b] ??= c; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:78:34: Error: A value of type 'void Function(int)' can't be assigned to a variable of type 'void Function(num)'. |
| // void Function(num) f = super.method; // Error: type `void Function(int)`. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:79:36: Error: A value of type 'void Function(int)' can't be assigned to a variable of type 'void Function(num)'. |
| // void Function(num) g = Class().method; // Error: type `void Function(int)`. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:80:18: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| // super.method(b); // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:81:20: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| // Class().method(b); // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:86:11: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| // super[b]; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:87:13: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class()[b]; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:93:16: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| // super[a] = c; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:94:18: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class()[a] = c; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:95:11: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| // super[c] = b; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:96:13: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class()[c] = b; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:97:14: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // super[a] += c; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:98:16: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class()[a] += c; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:103:20: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // super.setter = b; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:104:22: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class().setter = b; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:111:18: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // super[a] ??= c; // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/general/super_signature_access.dart:112:21: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| // Class1()[b] ??= c; // Error. |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class Super extends core::Object { |
| synthetic constructor •() → self::Super |
| : super core::Object::•() |
| ; |
| method method(core::num a) → void {} |
| operator [](core::num a) → core::num |
| return 0; |
| operator []=(core::num a, core::num b) → void {} |
| set setter(core::num a) → void {} |
| } |
| class Super1 extends core::Object { |
| synthetic constructor •() → self::Super1 |
| : super core::Object::•() |
| ; |
| operator [](core::num a) → core::num? |
| return null; |
| operator []=(core::num a, core::num b) → void {} |
| } |
| class Class extends self::Super { |
| synthetic constructor •() → self::Class |
| : super self::Super::•() |
| ; |
| forwarding-stub forwarding-semi-stub method /* signature-type: (core::int) → void */ method(covariant-by-declaration core::num a) → void |
| return super.{self::Super::method}(a); |
| forwarding-stub forwarding-semi-stub operator /* signature-type: (core::int) → core::num */ [](covariant-by-declaration core::num a) → core::num |
| return super.{self::Super::[]}(a); |
| forwarding-stub forwarding-semi-stub operator /* signature-type: (core::int, core::int) → void */ []=(covariant-by-declaration core::num a, covariant-by-declaration core::num b) → void |
| return super.{self::Super::[]=}(a, b); |
| forwarding-stub forwarding-semi-stub set /* signature-type: (core::int) → void */ setter(covariant-by-declaration core::num a) → void |
| return super.{self::Super::setter} = a; |
| } |
| class Class1 extends self::Super1 { |
| synthetic constructor •() → self::Class1 |
| : super self::Super1::•() |
| ; |
| forwarding-stub forwarding-semi-stub operator /* signature-type: (core::int) → core::num? */ [](covariant-by-declaration core::num a) → core::num? |
| return super.{self::Super1::[]}(a); |
| forwarding-stub forwarding-semi-stub operator /* signature-type: (core::int, core::int) → void */ []=(covariant-by-declaration core::num a, covariant-by-declaration core::num b) → void |
| return super.{self::Super1::[]=}(a, b); |
| } |
| class Subclass extends self::Class { |
| synthetic constructor •() → self::Subclass |
| : super self::Class::•() |
| ; |
| method method(covariant-by-declaration core::int a) → void { |
| core::num b = a; |
| (core::num) → void f = super.{self::Class::method}; |
| (core::num) → void g = invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:34:36: Error: A value of type 'void Function(int)' can't be assigned to a variable of type 'void Function(num)'. |
| void Function(num) g = Class().method; // Error: type `void Function(int)`. |
| ^" in new self::Class::•().{self::Class::method}{(core::int) → void} as{TypeError} (core::num) → void; |
| super.{self::Class::method}(b); |
| new self::Class::•().{self::Class::method}(invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:36:20: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| Class().method(b); // Error. |
| ^" in b as{TypeError} core::int){(core::int) → void}; |
| } |
| operator [](covariant-by-declaration core::int a) → core::num { |
| core::num b = a; |
| super.{self::Class::[]}(b); |
| new self::Class::•().{self::Class::[]}(invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:42:13: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class()[b]; // Error. |
| ^" in b as{TypeError} core::int){(core::int) → core::num}; |
| return 0; |
| } |
| operator []=(covariant-by-declaration core::int a, covariant-by-declaration core::int b) → void { |
| core::num c = a; |
| super.{self::Class::[]=}(a, c); |
| new self::Class::•().{self::Class::[]=}(a, invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:49:18: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class()[a] = c; // Error. |
| ^" in c as{TypeError} core::int){(core::int, core::int) → void}; |
| super.{self::Class::[]=}(c, b); |
| new self::Class::•().{self::Class::[]=}(invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:51:13: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class()[c] = b; // Error. |
| ^" in c as{TypeError} core::int, b){(core::int, core::int) → void}; |
| let final core::int #t1 = a in super.{self::Class::[]=}(#t1, super.{self::Class::[]}(#t1).{core::num::+}(c){(core::num) → core::num}); |
| let final self::Class #t2 = new self::Class::•() in let final core::int #t3 = a in #t2.{self::Class::[]=}(#t3, invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:53:16: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class()[a] += c; // Error. |
| ^" in #t2.{self::Class::[]}(#t3){(core::int) → core::num}.{core::num::+}(c){(core::num) → core::num} as{TypeError} core::int){(core::int, core::int) → void}; |
| } |
| set setter(covariant-by-declaration core::int a) → void { |
| core::num b = a; |
| super.{self::Class::setter} = b; |
| new self::Class::•().{self::Class::setter} = invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:59:22: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class().setter = b; // Error. |
| ^" in b as{TypeError} core::int; |
| } |
| } |
| class Subclass1 extends self::Class1 { |
| synthetic constructor •() → self::Subclass1 |
| : super self::Class1::•() |
| ; |
| operator [](covariant-by-declaration core::int a) → core::num? { |
| return null; |
| } |
| operator []=(covariant-by-declaration core::int a, covariant-by-declaration core::int b) → void { |
| core::num c = a; |
| let final core::int #t4 = a in super.{self::Class1::[]}(#t4) == null ?{core::num?} super.{self::Class1::[]=}(#t4, c) : null; |
| let final self::Class1 #t5 = new self::Class1::•() in let final core::int #t6 = b in #t5.{self::Class1::[]}(#t6){(core::int) → core::num?} == null ?{core::num?} #t5.{self::Class1::[]=}(#t6, invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:71:21: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class1()[b] ??= c; // Error. |
| ^" in c as{TypeError} core::int){(core::int, core::int) → void} : null; |
| } |
| } |
| abstract class Mixin extends self::Class /*isMixinDeclaration*/ { |
| method method(covariant-by-declaration core::int a) → void { |
| core::num b = a; |
| (core::num) → void f = invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:78:34: Error: A value of type 'void Function(int)' can't be assigned to a variable of type 'void Function(num)'. |
| void Function(num) f = super.method; // Error: type `void Function(int)`. |
| ^" in super.{self::Class::method} as{TypeError} (core::num) → void; |
| (core::num) → void g = invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:79:36: Error: A value of type 'void Function(int)' can't be assigned to a variable of type 'void Function(num)'. |
| void Function(num) g = Class().method; // Error: type `void Function(int)`. |
| ^" in new self::Class::•().{self::Class::method}{(core::int) → void} as{TypeError} (core::num) → void; |
| super.{self::Class::method}(invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:80:18: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| super.method(b); // Error. |
| ^" in b as{TypeError} core::int); |
| new self::Class::•().{self::Class::method}(invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:81:20: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| Class().method(b); // Error. |
| ^" in b as{TypeError} core::int){(core::int) → void}; |
| } |
| operator [](covariant-by-declaration core::int a) → core::num { |
| core::num b = a; |
| super.{self::Class::[]}(invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:86:11: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| super[b]; // Error. |
| ^" in b as{TypeError} core::int); |
| new self::Class::•().{self::Class::[]}(invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:87:13: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class()[b]; // Error. |
| ^" in b as{TypeError} core::int){(core::int) → core::num}; |
| return 0; |
| } |
| operator []=(covariant-by-declaration core::int a, covariant-by-declaration core::int b) → void { |
| core::num c = a; |
| super.{self::Class::[]=}(a, invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:93:16: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| super[a] = c; // Error. |
| ^" in c as{TypeError} core::int); |
| new self::Class::•().{self::Class::[]=}(a, invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:94:18: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class()[a] = c; // Error. |
| ^" in c as{TypeError} core::int){(core::int, core::int) → void}; |
| super.{self::Class::[]=}(invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:95:11: Error: The argument type 'num' can't be assigned to the parameter type 'int'. |
| super[c] = b; // Error. |
| ^" in c as{TypeError} core::int, b); |
| new self::Class::•().{self::Class::[]=}(invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:96:13: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class()[c] = b; // Error. |
| ^" in c as{TypeError} core::int, b){(core::int, core::int) → void}; |
| let final core::int #t7 = a in super.{self::Class::[]=}(#t7, invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:97:14: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| super[a] += c; // Error. |
| ^" in super.{self::Class::[]}(#t7).{core::num::+}(c){(core::num) → core::num} as{TypeError} core::int); |
| let final self::Class #t8 = new self::Class::•() in let final core::int #t9 = a in #t8.{self::Class::[]=}(#t9, invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:98:16: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class()[a] += c; // Error. |
| ^" in #t8.{self::Class::[]}(#t9){(core::int) → core::num}.{core::num::+}(c){(core::num) → core::num} as{TypeError} core::int){(core::int, core::int) → void}; |
| } |
| set setter(covariant-by-declaration core::int a) → void { |
| core::num b = a; |
| super.{self::Class::setter} = invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:103:20: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| super.setter = b; // Error. |
| ^" in b as{TypeError} core::int; |
| new self::Class::•().{self::Class::setter} = invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:104:22: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class().setter = b; // Error. |
| ^" in b as{TypeError} core::int; |
| } |
| } |
| abstract class Mixin1 extends self::Class1 /*isMixinDeclaration*/ { |
| operator []=(covariant-by-declaration core::int a, covariant-by-declaration core::int b) → void { |
| core::num c = a; |
| let final core::int #t10 = a in super.{self::Class1::[]}(#t10) == null ?{core::num?} super.{self::Class1::[]=}(#t10, invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:111:18: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| super[a] ??= c; // Error. |
| ^" in c as{TypeError} core::int) : null; |
| let final self::Class1 #t11 = new self::Class1::•() in let final core::int #t12 = b in #t11.{self::Class1::[]}(#t12){(core::int) → core::num?} == null ?{core::num?} #t11.{self::Class1::[]=}(#t12, invalid-expression "pkg/front_end/testcases/general/super_signature_access.dart:112:21: Error: A value of type 'num' can't be assigned to a variable of type 'int'. |
| Class1()[b] ??= c; // Error. |
| ^" in c as{TypeError} core::int){(core::int, core::int) → void} : null; |
| } |
| } |