import Macros._ object Test extends App { foo; implicitly[C]; foo; implicitly[C]; }