pkg/front_end/testcases/patterns/never_list.dart.strong.modular.expect

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

static method main() → void {
  try {
    hoisted has-declared-initializer core::Object? y;
    {
      final synthesized Never #0#0 = throw 42;
      final const synthesized core::int #0#2 = #C1;
      if(!(#0#0.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = y = #0#0.{core::List::[]}(0){(core::int) → core::Object?} in true)))
        throw{for-error-handling} new core::StateError::•("Pattern matching error");
    }
  }
  on core::Object catch(final core::Object e) {
    core::print(e);
    return;
  }
  throw "Missing exception";
}

constants  {
  #C1 = 1
}