Nicolas Stucki
Nicolas Stucki
This is clearly a bug. I do not remember all the details on the bounds of the RRB vector, but it might be missing one level of depth for the...
It might be. I will need some time to debug this one. Thanks for the input.
Issue might be the same as in #19493
Minimizing the code in the link above would be a good spree task
What is the definition of `Main`?
It seems that we are not loading the docstrings from TASTy. This can be enabled with `-Yread-docs`, but users should not use that. The `ContextDocstrings` should be able to load...
> What is the difference between loading main and test docstrings from test? Because main from main works, as well as test from test. Are they read from other place...
This is not exactly the same situation as in https://github.com/lampepfl/dotty/issues/8739.
It seems that this issue cobined the issue in https://github.com/lampepfl/dotty/issues/8739 and the minimization above and possibly also an extra hurdle with type avoidance. Notice that `{ val f = foo;...
The correct way to summon this value is using `Expr.summon`. But still there is some bug. ```diff - val summonInline = '{ scala.compiletime.summonInline[F[Option[A]]] }.asTerm + val summonInline = Expr.summon[F[Option[A]]].get.asTerm ```