pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_downwards.dart.legacy.transformed.expect

library test;
import self as self;
import "dart:core" as core;

static method foo([core::List<core::String*>* list1 = #C1, core::List<core::String*>* list2 = #C3]) → void {}
static method main() → void {
  {
    core::List<core::int*>* l0 = <dynamic>[];
    core::List<core::int*>* l1 = <dynamic>[3];
    core::List<core::int*>* l2 = <dynamic>["hello"];
    core::List<core::int*>* l3 = <dynamic>["hello", 3];
  }
  {
    core::List<dynamic>* l0 = <dynamic>[];
    core::List<dynamic>* l1 = <dynamic>[3];
    core::List<dynamic>* l2 = <dynamic>["hello"];
    core::List<dynamic>* l3 = <dynamic>["hello", 3];
  }
  {
    core::List<core::int*>* l0 = <core::num*>[];
    core::List<core::int*>* l1 = <core::num*>[3];
    core::List<core::int*>* l2 = <core::num*>["hello"];
    core::List<core::int*>* l3 = <core::num*>["hello", 3];
  }
  {
    core::Iterable<core::int*>* i0 = <dynamic>[];
    core::Iterable<core::int*>* i1 = <dynamic>[3];
    core::Iterable<core::int*>* i2 = <dynamic>["hello"];
    core::Iterable<core::int*>* i3 = <dynamic>["hello", 3];
  }
  {}
}

constants  {
  #C1 = <dynamic>[]
  #C2 = 42
  #C3 = <dynamic>[#C2]
}