scala> import scala.language.experimental.erasedDefinitions
scala> def f(erased a: Int): Int = ???
def f(erased a: Int): Int
