ZM
Size: a a a
ZM
w
Oℕ
ZM
V
A
V
ZM
AG
AG
λ
λ
(Compile / compileIncremental) java.lang.AssertionError: assertion failed:
The <none> defined at <none> is not a class symbol.
during phase: xsbt-dependency
library version: version 2.13.4
compiler version: version 2.13.4
last tree to typer: Ident(γ$6$)
tree position: line 44 of ...
tree tpe: γ$6$
symbol: type γ$6$
symbol definition: γ$6$ (a AbstractTypeSymbol)
symbol package: gadt
symbol owners: type γ$6$ -> type Λ$ -> <refinement of AnyRef> -> <refinement of AnyRef> -> object Con
call site: method writeReplace in object Con in package gadt
== Source file context for tree position ==
41
42
43 sealed trait Expr[F[_[_], _], H[_], A]
44 case class Con[F[_[_], _], H[_], A](x: Lan[H, F[Expr[F, H, *], *], A]) extends Expr[F, H, A]
45
46
w
(Compile / compileIncremental) java.lang.AssertionError: assertion failed:
The <none> defined at <none> is not a class symbol.
during phase: xsbt-dependency
library version: version 2.13.4
compiler version: version 2.13.4
last tree to typer: Ident(γ$6$)
tree position: line 44 of ...
tree tpe: γ$6$
symbol: type γ$6$
symbol definition: γ$6$ (a AbstractTypeSymbol)
symbol package: gadt
symbol owners: type γ$6$ -> type Λ$ -> <refinement of AnyRef> -> <refinement of AnyRef> -> object Con
call site: method writeReplace in object Con in package gadt
== Source file context for tree position ==
41
42
43 sealed trait Expr[F[_[_], _], H[_], A]
44 case class Con[F[_[_], _], H[_], A](x: Lan[H, F[Expr[F, H, *], *], A]) extends Expr[F, H, A]
45
46
λ
λ