val key: Key<Boolean>
  field = Key<@FlexibleNullability Boolean?>()
  get

val x: @EnhancedNullability Boolean /* by */
  field = lazy<@EnhancedNullability Boolean>(initializer = local fun <anonymous>(): @EnhancedNullability Boolean {
    return { // BLOCK
      val tmp_0: @EnhancedNullability Boolean? = A().get<@FlexibleNullability Boolean?>(key = <get-key>())
      when {
        EQEQ(arg0 = tmp_0, arg1 = null) -> false
        else -> tmp_0
      }
    }
  }
)
  get(): @EnhancedNullability Boolean {
    return #x$delegate.getValue<@EnhancedNullability Boolean>(thisRef = null, property = ::x)
  }

fun main() {
  println(message = <get-x>() /*!! Boolean */)
}
