gistfile1.txt

import scala.reflect.macros.WhiteboxContext
import scala.language.experimental.macros

object Macros {
  def impl(c: WhiteboxContext) = {
    import c.universe._
    val result = c.typecheck(q"""
      class C[T <: Int] {
        type Dummy123 = List[T]
      }
      ()
    """)
    result match {
      case Block(List(ClassDef(_, _, _, Template(_, _, List(_, dummy123: TypeDef)))), _) =>
        println(dummy123.symbol.typeSignature)
    }
    q"()"
  }

  def foo: Any = macro impl
}

=======

object Test extends App {
  Macros.foo
}

=======

17:24 ~/Projects/Master/sandbox (master)$ scalac Macros.scala && scalac Test.scala
List[T]