Double backticks are syntactically possible, but at that point, you're no longer extending the existing meaning of backticks—you're overloading them with a second meaning. The good thing about the backticks concept is that, other than init (and perhaps a couple other special identifiers), you can think of `foo` and `Mod.foo` as the same "clarify the meaning of this name" feature. If you have to nest backticks, suddenly you can't really think of them that way anymore.
3 Likes