@gkossakowski Does the discussion we had here convince you that `scala.annotation` is a good place for `@compileTimeOnly`?