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

static method main() → dynamic {
  final core::int? lateLocal;
  core::bool #lateLocal#isSet = false;
  function #lateLocal#get() → core::int?
    return #lateLocal#isSet ?{core::int?} lateLocal : throw new _in::LateError::localNI("lateLocal");
  function #lateLocal#set(core::int? #t1) → dynamic
    if(#lateLocal#isSet)
      throw new _in::LateError::localAI("lateLocal");
    else {
      #lateLocal#isSet = true;
      return lateLocal = #t1;
    }
  self::throws(() → core::int? => #lateLocal#get.call(), "Read value from uninitialized lateLocal");
  if(1.{core::num::==}(1)) {
    self::expect(123, #lateLocal#set.call(123));
  }
  self::expect(123, #lateLocal#get.call());
  self::throws(() → core::int => #lateLocal#set.call(124), "Write value to initialized lateLocal");
  function local<T extends core::Object? = dynamic>(T? value) → Null {
    final T? lateGenericLocal;
    core::bool #lateGenericLocal#isSet = false;
    function #lateGenericLocal#get() → T?
      return #lateGenericLocal#isSet ?{T?} lateGenericLocal : throw new _in::LateError::localNI("lateGenericLocal");
    function #lateGenericLocal#set(T? #t2) → dynamic
      if(#lateGenericLocal#isSet)
        throw new _in::LateError::localAI("lateGenericLocal");
      else {
        #lateGenericLocal#isSet = true;
        return lateGenericLocal = #t2;
      }
    self::throws(() → T? => #lateGenericLocal#get.call(), "Read value from uninitialized lateGenericLocal");
    if(1.{core::num::==}(1)) {
      self::expect(value, #lateGenericLocal#set.call(value));
    }
    self::expect(value, #lateGenericLocal#get.call());
    self::throws(() → T? => #lateGenericLocal#set.call(value), "Write value to initialized lateGenericLocal");
  }
  local.call<core::int?>(null);
  local.call<core::int?>(0);
  local.call<core::int>(null);
  local.call<core::int>(0);
}
static method expect(dynamic expected, dynamic actual) → dynamic {
  if(!expected.{core::Object::==}(actual))
    throw "Expected ${expected}, actual ${actual}";
}
static method throws(() → dynamic f, core::String message) → dynamic {
  dynamic value;
  try {
    value = f.call();
  }
  on core::LateInitializationError catch(final core::LateInitializationError e) {
    core::print(e);
    return;
  }
  throw "${message}: ${value}";
}


Extra constant evaluation status:
Evaluated: MethodInvocation @ org-dartlang-testcase:///late_final_nullable_local_without_initializer.dart:12:9 -> BoolConstant(true)
Evaluated: MethodInvocation @ org-dartlang-testcase:///late_final_nullable_local_without_initializer.dart:26:11 -> BoolConstant(true)
Extra constant evaluation: evaluated: 81, effectively constant: 2