gistfile1.txt

[info] Compiling 1 Scala source to /Users/xeno_by/Projects/bugBundles/target/scala-2.11.0-M5/classes...
[[syntax trees at end of                     typer]] // Macros.scala
package barcelona.specification {
  import scala.reflect.macros.Macro;
  import scala.language.experimental.macros;
  abstract trait MBImpl extends AnyRef with scala.reflect.macros.Macro {
    def /*MBImpl*/$init$(): Unit = {
      ()
    };
    import MBImpl.this.c.universe._;
    def testImpl: MBImpl.this.c.Expr[Unit] = MBImpl.this.c.Expr[Unit](MBImpl.this.c.universe.Literal.apply(MBImpl.this.c.universe.Constant.apply(())))(MBImpl.this.c.universe.WeakTypeTag.Unit)
  };
  object MB extends scala.AnyRef {
    def <init>(): barcelona.specification.MB.type = {
      MB.super.<init>();
      ()
    };
    @scala.reflect.macros.internal.macroImpl(`macro`("versionFormat" = 5.0, "isBundle" = true, "className" = "scala.reflect.macros.synthetic.BarcelonaSpecificationMBImplInvoker", "methodName" = "testImpl", "signature" = List())) <macro> def test: Unit = new scala.reflect.macros.synthetic.BarcelonaSpecificationMBImplInvoker(scala.Predef.???).testImpl
  }
}

 // compileLateSynthetic-d66b7cf1474546b8a82814561ec86974.scala
package scala.reflect.macros.synthetic {
  class BarcelonaSpecificationMBImplInvoker extends AnyRef with barcelona.specification.MBImpl {
    <paramaccessor> private[this] val c: scala.reflect.macros.Context = _;
    <stable> <accessor> <paramaccessor> def c: scala.reflect.macros.Context = BarcelonaSpecificationMBImplInvoker.this.c;
    def <init>(c: scala.reflect.macros.Context): scala.reflect.macros.synthetic.BarcelonaSpecificationMBImplInvoker = {
      BarcelonaSpecificationMBImplInvoker.super.<init>();
      ()
    }
  }
}

And then this repeats ad infinitum.