pkg/front_end/testcases/patterns/invalid_pattern_declares_variables.dart.strong.transformed.expect

library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
import "dart:_internal" as _in;

static method method() → dynamic {
  core::double v1;
  core::num v2;
  {
    final synthesized dynamic #0#0 = core::_GrowableList::_literal1<core::double>(42.0);
    function ##0#3#initializer() → core::bool
      return #0#0{core::List<core::double>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
    late final synthesized core::bool #0#3 = ##0#3#initializer(){() → core::bool};
    function ##0#4#initializer() → core::double
      return #0#0{core::List<core::double>}.{core::List::[]}(0){(core::int) → core::double};
    late final synthesized core::double #0#4 = ##0#4#initializer(){() → core::double};
    if(!(#0#3 && (#0#4 is{ForNonNullableByDefault} core::double && (let final core::double #t1 = v1 = #0#4 in true)) && (#0#3 && (#0#4 is{ForNonNullableByDefault} core::num && (let final core::double #t2 = v2 = #0#4 in true)))))
      throw new _in::ReachabilityError::•();
  }
  core::print(v1);
  core::print(v2);
}

constants  {
  #C1 = 1
}