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

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