pkg/front_end/testcases/patterns/never_pattern.dart.weak.expect

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

static method method(Never n) → dynamic {
  #L1:
  {
    final synthesized Never #0#0 = let final Never #t1 = n in throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.");
    {
      if(#0#0 =={core::Object::==}{(dynamic) → Never} #C1) {
      }
    }
  }
}

constants  {
  #C1 = 0
}