| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/invalid_cast.dart:20:25: Error: The list literal type 'List<Object>' isn't of expected type 'List<int>'. |
| // - 'List' is from 'dart:core'. |
| // - 'Object' is from 'dart:core'. |
| // Change the type of the list literal or the context in which it is used. |
| // List<int> a = <Object>[]; |
| // ^ |
| // |
| // pkg/front_end/testcases/invalid_cast.dart:21:40: Error: The map literal type 'Map<Object, String>' isn't of expected type 'Map<int, String>'. |
| // - 'Map' is from 'dart:core'. |
| // - 'Object' is from 'dart:core'. |
| // Change the type of the map literal or the context in which it is used. |
| // Map<int, String> b = <Object, String>{}; |
| // ^ |
| // |
| // pkg/front_end/testcases/invalid_cast.dart:22:37: Error: The map literal type 'Map<int, Object>' isn't of expected type 'Map<int, String>'. |
| // - 'Map' is from 'dart:core'. |
| // - 'Object' is from 'dart:core'. |
| // Change the type of the map literal or the context in which it is used. |
| // Map<int, String> c = <int, Object>{}; |
| // ^ |
| // |
| // pkg/front_end/testcases/invalid_cast.dart:23:28: Error: The function expression type 'int Function(int)' isn't of expected type 'int Function(Object)'. |
| // - 'Object' is from 'dart:core'. |
| // Change the type of the function expression or the context in which it is used. |
| // int Function(Object) d = (int i) => i; |
| // ^ |
| // |
| // pkg/front_end/testcases/invalid_cast.dart:26:13: Error: The constructor returns type 'C' that isn't of expected type 'D'. |
| // - 'C' is from 'pkg/front_end/testcases/invalid_cast.dart'. |
| // - 'D' is from 'pkg/front_end/testcases/invalid_cast.dart'. |
| // Change the type of the object being constructed or the context in which it is used. |
| // D g = new C.nonFact(); |
| // ^ |
| // |
| // pkg/front_end/testcases/invalid_cast.dart:27:13: Error: The constructor returns type 'C' that isn't of expected type 'D'. |
| // - 'C' is from 'pkg/front_end/testcases/invalid_cast.dart'. |
| // - 'D' is from 'pkg/front_end/testcases/invalid_cast.dart'. |
| // Change the type of the object being constructed or the context in which it is used. |
| // D h = new C.nonFact2(); |
| // ^ |
| // |
| // pkg/front_end/testcases/invalid_cast.dart:28:31: Error: The static method has type 'void Function(int)' that isn't of expected type 'void Function(Object)'. |
| // - 'Object' is from 'dart:core'. |
| // Change the type of the method or the context in which it is used. |
| // void Function(Object) i = C.staticFunction; |
| // ^ |
| // |
| // pkg/front_end/testcases/invalid_cast.dart:29:29: Error: The top level function has type 'void Function(int)' that isn't of expected type 'void Function(Object)'. |
| // - 'Object' is from 'dart:core'. |
| // Change the type of the function or the context in which it is used. |
| // void Function(Object) j = topLevelFunction; |
| // ^ |
| // |
| // pkg/front_end/testcases/invalid_cast.dart:30:29: Error: The local function has type 'void Function(int)' that isn't of expected type 'void Function(Object)'. |
| // - 'Object' is from 'dart:core'. |
| // Change the type of the function or the context in which it is used. |
| // void Function(Object) k = localFunction; |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class C extends core::Object { |
| static field dynamic _redirecting# = <dynamic>[self::C::fact2]; |
| constructor •() → self::C |
| : super core::Object::•() |
| ; |
| constructor nonFact() → self::C |
| : super core::Object::•() |
| ; |
| constructor nonFact2() → self::C |
| : this self::C::nonFact() |
| ; |
| static factory fact() → self::C |
| return null; |
| static factory fact2() → self::C |
| let dynamic #redirecting_factory = self::D::• in invalid-expression; |
| static method staticFunction(core::int i) → void {} |
| } |
| class D extends self::C { |
| synthetic constructor •() → self::D |
| : super self::C::•() |
| ; |
| } |
| static method topLevelFunction(core::int i) → void {} |
| static method bad() → dynamic { |
| function localFunction(core::int i) → void {} |
| core::List<core::int> a = let final<BottomType> #t1 = invalid-expression "pkg/front_end/testcases/invalid_cast.dart:20:25: Error: The list literal type 'List<Object>' isn't of expected type 'List<int>'. |
| - 'List' is from 'dart:core'. |
| - 'Object' is from 'dart:core'. |
| Change the type of the list literal or the context in which it is used. |
| List<int> a = <Object>[]; |
| ^" in <core::Object>[]; |
| core::Map<core::int, core::String> b = let final<BottomType> #t2 = invalid-expression "pkg/front_end/testcases/invalid_cast.dart:21:40: Error: The map literal type 'Map<Object, String>' isn't of expected type 'Map<int, String>'. |
| - 'Map' is from 'dart:core'. |
| - 'Object' is from 'dart:core'. |
| Change the type of the map literal or the context in which it is used. |
| Map<int, String> b = <Object, String>{}; |
| ^" in <core::Object, core::String>{}; |
| core::Map<core::int, core::String> c = let final<BottomType> #t3 = invalid-expression "pkg/front_end/testcases/invalid_cast.dart:22:37: Error: The map literal type 'Map<int, Object>' isn't of expected type 'Map<int, String>'. |
| - 'Map' is from 'dart:core'. |
| - 'Object' is from 'dart:core'. |
| Change the type of the map literal or the context in which it is used. |
| Map<int, String> c = <int, Object>{}; |
| ^" in <core::int, core::Object>{}; |
| (core::Object) → core::int d = let final<BottomType> #t4 = invalid-expression "pkg/front_end/testcases/invalid_cast.dart:23:28: Error: The function expression type 'int Function(int)' isn't of expected type 'int Function(Object)'. |
| - 'Object' is from 'dart:core'. |
| Change the type of the function expression or the context in which it is used. |
| int Function(Object) d = (int i) => i; |
| ^" in (core::int i) → core::int => i; |
| self::D e = self::C::fact() as{TypeError} self::D; |
| self::D f = new self::D::•() as{TypeError} self::D; |
| self::D g = let final<BottomType> #t5 = invalid-expression "pkg/front_end/testcases/invalid_cast.dart:26:13: Error: The constructor returns type 'C' that isn't of expected type 'D'. |
| - 'C' is from 'pkg/front_end/testcases/invalid_cast.dart'. |
| - 'D' is from 'pkg/front_end/testcases/invalid_cast.dart'. |
| Change the type of the object being constructed or the context in which it is used. |
| D g = new C.nonFact(); |
| ^" in new self::C::nonFact(); |
| self::D h = let final<BottomType> #t6 = invalid-expression "pkg/front_end/testcases/invalid_cast.dart:27:13: Error: The constructor returns type 'C' that isn't of expected type 'D'. |
| - 'C' is from 'pkg/front_end/testcases/invalid_cast.dart'. |
| - 'D' is from 'pkg/front_end/testcases/invalid_cast.dart'. |
| Change the type of the object being constructed or the context in which it is used. |
| D h = new C.nonFact2(); |
| ^" in new self::C::nonFact2(); |
| (core::Object) → void i = let final<BottomType> #t7 = invalid-expression "pkg/front_end/testcases/invalid_cast.dart:28:31: Error: The static method has type 'void Function(int)' that isn't of expected type 'void Function(Object)'. |
| - 'Object' is from 'dart:core'. |
| Change the type of the method or the context in which it is used. |
| void Function(Object) i = C.staticFunction; |
| ^" in self::C::staticFunction; |
| (core::Object) → void j = let final<BottomType> #t8 = invalid-expression "pkg/front_end/testcases/invalid_cast.dart:29:29: Error: The top level function has type 'void Function(int)' that isn't of expected type 'void Function(Object)'. |
| - 'Object' is from 'dart:core'. |
| Change the type of the function or the context in which it is used. |
| void Function(Object) j = topLevelFunction; |
| ^" in self::topLevelFunction; |
| (core::Object) → void k = let final<BottomType> #t9 = invalid-expression "pkg/front_end/testcases/invalid_cast.dart:30:29: Error: The local function has type 'void Function(int)' that isn't of expected type 'void Function(Object)'. |
| - 'Object' is from 'dart:core'. |
| Change the type of the function or the context in which it is used. |
| void Function(Object) k = localFunction; |
| ^" in localFunction; |
| } |
| static method ok() → dynamic { |
| function localFunction(core::int i) → void {} |
| core::List<core::int> a = <core::int>[]; |
| core::Map<core::int, core::String> b = <core::int, core::String>{}; |
| core::Map<core::int, core::String> c = <core::int, core::String>{}; |
| (core::int) → core::int d = (core::int i) → core::int => i; |
| self::D e = self::C::fact() as{TypeError} self::D; |
| self::D f = new self::D::•() as{TypeError} self::D; |
| self::C g = new self::C::nonFact(); |
| self::C h = new self::C::nonFact2(); |
| (core::int) → void i = self::C::staticFunction; |
| (core::int) → void j = self::topLevelFunction; |
| (core::int) → void k = localFunction; |
| } |
| static method main() → dynamic {} |