fun <T : Any?> useTX(x: T, fn: Function0<T>): T {
  return fn.invoke()
}

fun testNoNullCheck() {
  useTX<@FlexibleNullability String?>(x = "", fn = local fun <anonymous>(): @FlexibleNullability String? {
    return string()
  }
) /*~> Unit */
}
