Test in dotty
This is more for discussion rather than saying "we should do it now", but I want to note that dotty seems to be going in the direction of using more string interpolation (e.g., XML literals will likely be replaced as interpolated strings), and I'd hazard a guess that using VS Code with it (or any other editor that supports the language protocol in the future) would actually show syntax errors within an editor.
Great point, this is a thing to think about. From what I've seen, there is significant risk that Dotty's take on macros makes our approach (using whitebox macros) unworkable.
This is interesting, and might mean that Goggles is viable beyond Scala 2 after all: https://github.com/dotty-staging/dotty/blob/add-transparent/docs/docs/typelevel.md
Previous link is dead now, but: https://dotty.epfl.ch/docs/reference/metaprogramming/inline.html#specializing-inline-whitebox
Whitebox is back! It looks like this would let us refine the string context macro return type, which is what makes the Goggles approach work.
@kenbot btw I know that all Monocle blackbox macros have been ported in dotty, need to find the link