% cat sandbox/test.scala; scalac sandbox/test.scala && scala Test
object Test {
  import reflect.runtime.universe._

  def main(args: Array[String]): Unit = {
    println(typeOf[A forSome {type A >: Int <: String}])
    println(typeOf[A[Int] forSome {type A[_] >: Int <: String}])
  }
}
warning: there were three feature warnings; re-run with -feature for details
one warning found
A forSome { type A >: Int <: String }
A[Int] forSome { type A[_] <: String }