Skip to content

Replace erased class modifiers with Erased base traits #23447

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
Draft
wants to merge 19 commits into
base: main
Choose a base branch
from
Draft

Replace erased class modifiers with Erased base traits #23447

wants to merge 19 commits into from

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Jun 28, 2025

Based on #23419
odersky added 13 commits June 27, 2025 14:22
@odersky
Disallow erased def
560e5a6
@odersky
Don't treat erased as late initialized
8bf6f7f 
Since we will force erased expressions to be pure values, they are always
initialized.
@odersky
Rename erasedParams to paramErasureStatuses
d50796e 
# Conflicts:
#	compiler/src/dotty/tools/dotc/ast/TreeInfo.scala
@odersky
Don't convert erased vals to getters
a87d061
@odersky
Fix handling of compiletime.erasedValue
ace6578 
Fixes scala#23406
@odersky
Fixes to isPureExpr
478b527 
 - erasedValue[<ConstantType>] is now considered to be pure
 - calls of synthetic case class apply are considered pure if the case
   class is NoInits
 - Companions of Scala-2 classes Tuple and Some are assumed to be NoInits
@odersky
Add variants of compiletime.erasedValue
1d453d6
@odersky
Require erased values to be pure expressions
ccb6eef
@odersky
Some fixes to doc page
67e9db2
@odersky
Update SemanticDB and scripting tests
2be0ec5
@odersky
Improve handling of compiletime.erasedValue
ade6ff2
@odersky
Update checkfile after rebase fixes
20fb6de
@odersky
Desugar using clauses for Singleton context bounds to be erased
f884513 
Drop the previous convention that Singleton is an erased class under
x.modularity. That does not work anynmore if we change to the Erased trait
scheme.
@odersky odersky marked this pull request as draft June 28, 2025 18:48
@odersky
Disable flaky test
ea93df5 
We should never have flaky tests. Please, everyone adding new tests, watch out for this.
@odersky odersky requested a review from EugeneFlesselle June 30, 2025 13:36
@odersky
Copy link
Contributor Author

odersky commented Jun 30, 2025

Doc pages are now updated to the new scheme. See c878878.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants
@odersky @EugeneFlesselle