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 {}