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

static method main() → dynamic {
  core::List<dynamic> value = #C2;
  {
    final synthesized core::List<dynamic> #0#0 = value;
    if(#C2 =={core::List::==}{(core::Object) → core::bool} #0#0) {
      core::print("OK");
    }
    else {
      throw "FAIL";
    }
  }
}

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