Macro annotation typecheck fails with "no progress in completing"

[scabug]

// Macro sample code
package macros
import scala.reflect.macros.whitebox.Context
import scala.language.experimental.macros
import scala.annotation.StaticAnnotation
class Ant extends StaticAnnotation {
    def macroTransform(annottees: Any*): Unit = macro Ant.impl
}
object Ant {
    def impl(c: Context)(annottees: c.Tree*): c.Tree = {
        import c.universe._
	c.internal.enclosingOwner.asType.toType // this line is Ok
	// ! Any commented line below causes the same compilation error
	// c.internal.enclosingOwner.asType.toType.decls
	// c.mirror.staticModule(c.internal.enclosingOwner.fullName + ".A".toString)
	// c.typecheck(annottees.head)
	q"""implicit class A(val v: Int) extends AnyVal { def ask() = println("ok") }"""
    }
}

// Exec sample code
package test
import macros.Ant
object Test extends App {
    val a = new A(42)
    a.ask() // Output should be "ok"
    // ! removing [implicit] lets code be compiled
    @Ant implicit class A(v: Int) { def ask() = println(v)}
}

So, removing line c.typecheck(annottees.head) and / or word implicit in line @Ant implicit class A(v: Int) lets code be compiled. Otherwise compilation crashes with error:

Error:scalac:
no progress in completing object Test: <?>
while compiling: D:\Projects\_Schemee\TestMacro1\src\test\Test.scala
during phase: globalPhase=typer, enteringPhase=namer
library version: version 2.11.6
compiler version: version 2.11.6
reconstructed args: -nobootcp -classpath ...
last tree to typer: Ident(v)
tree position: <unknown>
tree tpe: Int
symbol: value v
symbol definition: v: Int (a TermSymbol)
symbol package: test
symbol owners: value v -> method A -> object Test
call site: method A in object Test in package test
<Cannot read source file>

Compiled both under latest IntelliJ and as SBT project. Same result.
Seems it's not expected behavior. Or i'm missing something.

EDITED:
Besides that that error is caused when trying to access enclosingOwner declarations or mirror class A "manually".

EDITED:
Discovered that implicit modifier does not play lead role in crashing. Accessing typecheck can crash any class definition. Sample here.

Github link
Stackoverflow link

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-9224?orig=1
Reporter: Markus Marvell (Marvell)
Affected Versions: 2.11.5, 2.11.6
Attachments:

• MacroAnt.zip (created on Mar 16, 2015 3:12:26 AM UTC, 4680 bytes)

[howtonotwin]

This appears to still be a problem in 2.12.4. I came across this issue in a slightly different form, but it appears to be the same thing. The SO link is down, so I'm not sure if this has been noticed yet, but here's my version:

object Z {
  // or implicit; doesn't matter
  @test class A(val i: Int)
}

import language.experimental.macros

import annotation.StaticAnnotation
import reflect.macros.whitebox.Context

class test extends StaticAnnotation {
  def macroTransform(annottees: Any*): Unit = macro test.impl
}
object test {
  def impl(c: Context)(annottees: c.Tree*): c.Tree = {
    import c.universe._
    // these versions (from the original) still cause an error
    // c.internal.enclosingOwner.asType.toType.decls
    // c.typecheck(annottees.head)
    c.typecheck(q"""
      object ${TermName(c.freshName())} {
        trait ${annottees.head.asInstanceOf[ClassDef].name}
      }
    """)
    Block(annottees: _*)
  }
}

Notes:

• Removing object Z and lifting Z.A to the top level fixes all of these errors
• c.mirror.static[Module/Class](c.internal.enclosingOwner.fullName + ".A".toString) no longer is an issue
• All the stacktraces start in the same place.