Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Incremental compiler error with tracked val in parent trait and skolem type #22456

Open
mbovel opened this issue Jan 25, 2025 · 0 comments · May be fixed by #22488
Open

Incremental compiler error with tracked val in parent trait and skolem type #22456

mbovel opened this issue Jan 25, 2025 · 0 comments · May be fixed by #22488
Assignees
@KacperFKorban
Labels
area:experimental:modularity Issues related to the modularity extension. itype:bug

Comments

@mbovel
Copy link
Member

mbovel commented Jan 25, 2025

Compiler version

3.6.3

Minimized code

//> using scala 3.6.3
//> using options -Yforce-sbt-phases

import language.experimental.modularity

trait T(tracked val y: Int)
class C(x: Int) extends T(x + 1)
@main def main = ()

Output

Internal error in the incremental compiler while compiling /Users/mbovel/scala-snippets-6/closure_bug.scala: Unhandled type (?1 : Int) of class class dotty.tools.dotc.core.Types$SkolemType

Seems to be reported from:

scala3/compiler/src/dotty/tools/dotc/sbt/ExtractDependencies.scala

Line 129 in f7e5df5

report.error(em"Internal error in the incremental compiler while compiling ${ctx.compilationUnit.source}: $msg", pos)

Same error when compiling with Scala CLI, without -Yforce-sbt-phases.

Expectation

No error
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@KacperFKorban KacperFKorban

Labels
area:experimental:modularity Issues related to the modularity extension. itype:bug
Projects
None yet
Milestone
No milestone
2 participants
@mbovel @KacperFKorban