How to get the enclosing implicits stack from within a blackbox macro

Question

I have a blackbox implicit macro whose implementation calls scala.reflect.macros.Typers.typecheck(tree: Tree, ...). Something like this:

trait Showab