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