Skip to content

Add @experimental annotation #12102

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

Merged
merged 13 commits into from
May 10, 2021
Merged

Add @experimental annotation #12102

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
77fc0e2
Add `@experimental` annotation
nicolasstucki Apr 15, 2021
4c67bb1
Do not add @experimental annotations to nested definitions
nicolasstucki Apr 28, 2021
90e1729
Add comment
nicolasstucki May 3, 2021
a6e6c6b
Split tests
nicolasstucki May 3, 2021
540e22f
Fixes after rebase
nicolasstucki May 3, 2021
d8dd54b
Fix experimental annotation detection
nicolasstucki May 3, 2021
bac0e98
Refacor code
nicolasstucki May 3, 2021
112bea7
Do not check deprecation on TypeDef
nicolasstucki May 3, 2021
c8eb6cd
Fix experimental in signature check
nicolasstucki May 5, 2021
c950006
Avoid reporting extra errors on enums
nicolasstucki May 5, 2021
59a2f32
Improve error messages for @experimental on case classes
nicolasstucki May 10, 2021
b5a2752
Remove redundant code
nicolasstucki May 10, 2021
8c0fe71
Mark ErasedParam and TermParamClause.isErased as @experimental
nicolasstucki May 10, 2021
File filter

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Do not check deprecation on TypeDef
  • Loading branch information
@nicolasstucki
nicolasstucki committed May 5, 2021
commit 112bea7a12958d9e8ea500f3cd8dada9e12f11e5
4 changes: 2 additions & 2 deletions compiler/src/dotty/tools/dotc/typer/RefChecks.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1301,12 +1301,12 @@ class RefChecks extends MiniPhase { thisPhase =>
}

override def transformTypeTree(tree: TypeTree)(using Context): TypeTree = {
checkUndesiredProperties(tree.symbol, tree.srcPos)
checkExperimental(tree.symbol, tree.srcPos)
tree
}

override def transformTypeDef(tree: TypeDef)(using Context): TypeDef = {
checkUndesiredProperties(tree.symbol, tree.srcPos)
checkExperimental(tree.symbol, tree.srcPos)
checkExperimentalAnnots(tree.symbol)
tree
}
Expand Down