scala> class api extends annotation.StaticAnnotation with annotation.TypeConstraint
defined class api
scala> def doSomethingWith[T](f: T => T @api) = f
doSomethingWith: [T](f: T => T @api)T => T @api
This should not be later transformed to:
doSomethingWith: [T](f: MiniboxedFunction1[T, T] @api)MiniboxedFunction1[T, T] @api
This should not be later transformed to: