fun <T> f(x: T): Int where T : CharSequence, T : Comparable<T> {
  return x.compareTo(other = x)
}

fun test() {
  f<@FlexibleNullability String?>(x = s() /*!! String */) /*~> Unit */
  f<@FlexibleNullability String?>(x = #STRING /*!! String */) /*~> Unit */
}

