Regression in scalalandio/chimney - missing span
#23022
Assignees
Labels
Comments
WojciechMazur
added
itype:bug
itype:crash
stat:needs triage
Gedochao
added
area:typer
stat:needs minimization
|
Bisect points to b4a802a Minimization: //> using options -Ykind-projector:underscores
trait PatchCollectionWithOptionCollectionRuleModule { self: Derivation =>
protected object PatchCollectionWithOptionCollectionRule extends Rule {
def expand[Patch, A]: DerivationResult[ExpansionResult[A]] = {
// given Type[A] = ???
Type[A] match {
case TotallyOrPartiallyBuildIterable(_) => ??? // couses crash, for some reason it compiles even if not given Type[A]
case _ => ???
}
}
}
}
trait Derivation:
trait DerivationResult[+A]
abstract protected class Rule:
def expand[From, To]: DerivationResult[ExpansionResult[To]]
sealed trait ExpansionResult[+A]
final protected type Type[A] = scala.quoted.Type[A]
object Type:
final def apply[A]: Type[A] = ???
final protected type Existential[F[_]] = Existential.Bounded[Nothing, Any, F]
protected object Existential:
sealed trait Bounded[L, U >: L, F[_ >: L <: U]]
abstract protected class TotallyOrPartiallyBuildIterable[Collection, Item]
object TotallyOrPartiallyBuildIterable:
def unapply[M](implicit M: Type[M]): Option[Existential[TotallyOrPartiallyBuildIterable[M, *]]] = ???
|
WojciechMazur
removed
the
stat:needs minimization
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Based on OpenCB failure in
scalalandio/chimney- OpenCB logsCompiler version
Last good revision: 3.7.1-RC1-bin-20250411-f4847cc-NIGHTLY
First bad revision: 3.7.1-RC1-bin-20250412-e70ea84-NIGHTLY
Bisect points to either:
d72e5ea
19dcfa2
However these 2 fail with different errors. The exact commit that introduced regression is not yet known
Not yet minimized
Needs minimisation, unfortunately I won't be able to provide one before 28th April
Output (click arrow to expand)
The text was updated successfully, but these errors were encountered: