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

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

static method f(dynamic x) → dynamic {
  final dynamic #t1 = x;
  final core::bool #t2 = true;
  #t2 = false;
  if(#t2)
    throw new _in::ReachabilityError::•();
}