fun test1(f: Function1<String, String>): C<@FlexibleNullability String?> {
  return C<@FlexibleNullability String?>(jxx = f /*-> @FlexibleNullability J<@FlexibleNullability String?, @FlexibleNullability String?>? */)
}

fun test2(x: Any) {
  x as Function1<String, String> /*~> Unit */
  C<@FlexibleNullability String?>(jxx = x /*as Function1<String, String> */ /*-> @FlexibleNullability J<@FlexibleNullability String?, @FlexibleNullability String?>? */) /*~> Unit */
}
