build(deps): update dependency scala to v3.3.3 (main)

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
scala	3.3.0 -> 3.3.3

---

Release Notes

lampepfl/dotty (scala)

v3.3.3

Compare Source

HOTFIX 3.3.3

This is a hotfix release to a subtle bug in the TASTy reader managed to survive the Release Candidate (RC) process. The bug caused 3.3.2 to emit TASTy files incompatible with previous releases in the LTS line, namely 3.3.1 and 3.3.0.

Below you can find the original release notes for 3.3.2:

Highlights of the release

• Improvements to the Coverage (detailed list below)
• Add Stable Presentation Compiler #​17528

Other changes and fixes

Backend

• Make sure synthetic apply methods are generated in deterministic order #​18210

Coverage

• Only lift inner expressions when lifting repeated Typed arguments #​18424
• Fix: scoverage statement's line number should be 1-base #​18932
• Do not lift applications of context functions #​18498
• Don't lift the argument of a synchronized block in scoverage #​16941
• Fix the issue with coverage inside of a TypeApply #​18420
• Coverage: mark case bodies as branches; don't ignore branches with synthetic spans #​18437

Documentation

• Compiler plugin Scaladoc: document phase requirement #​18394

Exports

• Refine override exclude criterion for export forwarders #​17590

Incremental Compilation

• Fix overcompilation due to unstable context bound desugaring #​18280

Inline

• Don't generate a super accessor for an inline method call #​17598

Linting

• Wunused: Only use type treverser for checking refinements in refined type trees #​17929

Parser

• Add examples taken from reference page #​18066
• Test for #​18345 #​18349

Pattern Matching

• Properly refine type of inlined unapply pattern #​18292

Presentation Compiler

• Bugfix: suggest correct arg name completions for lambda expressions #​18379
• Improvement: print better bracket suffix in completion item label #​18380
• Fix presentation compiler autoimports, update presentation compiler dependencies #​18264
• Update scala3-presentation-compiler to 39e349e #​18296
• Update presentation compiler with changes from PR 5287 #​18301
• Update presentation compiler to a829a6a #​18347
• Bugfix: highlight enum cases correctly #​18362

Quotes

• Do not beta-reduce/eta-expand pattern splices with contextual function types #​18198
• XcheckMacro types of Block expression and Apply/TypeApply function #​18242
• Fix owner of splices in class statements #​18359
• Handle macro dependencies through class of this #​18396
• Add missing span in QuoteMatcher #​18178
• Fix stale symbol crashes in some path depended types in macro contexts #​18077
• Simplify avoidance of local types of Hole #​17571

Reporting

• Detail "not a constant type" message #​17626
• Suggest imports for the expected type of the underlying implicit not found error #​17976
• Fix: report correct location on a repeat modifier #​17982
• Warn when calling synchronized on AnyVal #​18021
• Fix compile error message in wildcard exports #​18189
• Improve parameter type inference error messaging #​18190
• Don't report warnings in migration when performing rewrites #​15589
• Fix crash reporter, units and phases #​17754
• Omit more prefixes in non-package module printing #​17758
• Fix pretty printer to handle using and erased modifier #​17952
• Add -Yprint-tasty compiler flag #​17986
• Add actionable item to PatternMatchExhaustivity diagnostic #​18314

Scaladoc

• Fix: -no-link-warnings does not work #​17028
• Fix: Validation for API link #​17099
• Scaladoc: type rendering fixes and improvements #​17213
• Feat: Add a custom icon #​17241
• Fix: Correction of the siteRoot path #​17297
• Fix: Correct the navigation to anchor #​17910
• Fix: Style for wiki syntax #​18079
• Fix NoSuchElementException in scaladoc #​18184
• Update jsoup dependency of Scaladoc to 7.2 #​19584

SemanticDB

• Check for primary constructor in namePresentInSource #​18325
• Add -semanticdb-text compiler option #​18307

Typer

• Fix pattern generation in "ordinal" mirror method #​17570
• Fix superType of SuperType #​17574
• Avoid crash in erasure when reference cannot be emitted #​18056
• Disallow overloading from breaking stable patterns #​18327
• Fix widen types before checking an implicit view exists #​18719
• Properly handle SAM types with wildcards #​18201
• Handle recursion in collectParts #​18214
• Allow eta-expansion of inline defs #​18249
• Stable names for lambda lifted methods #​18281
• Fix expandParam's use of argForParam/isArgPrefixOf. #​19412

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.3.1..3.3.2 these are:

    42	Paweł Marks
    38	Nicolas Stucki
    28	Chris Kipp
    15	Sébastien Doeraene
    13	Lucas Leblanc
    13	Martin Odersky
    12	Guillaume Martres
    11	Dale Wijnand
    10	Jamie Thompson
     8	ghostbuster91
     6	Florian3k
     5	Kacper Korban
     4	Jan Chyb
     4	Jędrzej Rochala
     4	Katarzyna Marek
     4	Quentin Bernet
     4	Seth Tisue
     3	Lucas
     3	Matt Bovel
     2	Julien Richard-Foy
     2	Wojciech Mazur
     1	Aleksey Troitskiy
     1	Arnout Engelen
     1	Bjorn Regnell
     1	Eugene Yokota
     1	Fabián Heredia Montiel
     1	Justin Reardon
     1	Kisaragi
     1	Martin Kučera
     1	Matthew Rooney
     1	Matthias Kurz
     1	Ondrej Lhotak
     1	Rikito Taniguchi
     1	Stefan Wachter
     1	Yuito Murase
     1	rochala

v3.3.2: Scala 3.3.2

Compare Source

Notice

Summary: please skip this release and wait for 3.3.3

Unfortunately, a subtle bug in the TASTy reader managed to survive the Release Candidate (RC) process. The bug caused 3.3.2 to emit TASTy files incompatible with previous releases in the LTS line, namely 3.3.1 and 3.3.0. This means that, should a library author release a new version using 3.3.2, all users still based on older 3.3.x releases will encounter issues. While a simple workaround exists - users can bump their patch version in the LTS line, which is safe and recommended - we regard compatibility in the LTS as paramount. Therefore, we have decided to abandon the 3.3.2 release completely. New testing measures will be introduced to avoid such situations in the future and to guarantee that LTS line remains internally consistent in all cases.

Highlights of the release

• Improvements to the Coverage (detailed list below)
• Add Stable Presentation Compiler #​17528

Other changes and fixes

Backend

• Make sure synthetic apply methods are generated in deterministic order #​18210

Coverage

• Only lift inner expressions when lifting repeated Typed arguments #​18424
• Fix: scoverage statement's line number should be 1-base #​18932
• Do not lift applications of context functions #​18498
• Don't lift the argument of a synchronized block in scoverage #​16941
• Fix the issue with coverage inside of a TypeApply #​18420
• Coverage: mark case bodies as branches; don't ignore branches with synthetic spans #​18437

Documentation

• Compiler plugin Scaladoc: document phase requirement #​18394

Exports

• Refine override exclude criterion for export forwarders #​17590

Incremental Compilation

• Fix overcompilation due to unstable context bound desugaring #​18280

Inline

• Don't generate a super accessor for an inline method call #​17598

Linting

• Wunused: Only use type treverser for checking refinements in refined type trees #​17929

Parser

• Add examples taken from reference page #​18066
• Test for #​18345 #​18349

Pattern Matching

• Properly refine type of inlined unapply pattern #​18292

Presentation Compiler

• Bugfix: suggest correct arg name completions for lambda expressions #​18379
• Improvement: print better bracket suffix in completion item label #​18380
• Fix presentation compiler autoimports, update presentation compiler dependencies #​18264
• Update scala3-presentation-compiler to 39e349e #​18296
• Update presentation compiler with changes from PR 5287 #​18301
• Update presentation compiler to a829a6a #​18347
• Bugfix: highlight enum cases correctly #​18362

Quotes

• Do not beta-reduce/eta-expand pattern splices with contextual function types #​18198
• XcheckMacro types of Block expression and Apply/TypeApply function #​18242
• Fix owner of splices in class statements #​18359
• Handle macro dependencies through class of this #​18396
• Add missing span in QuoteMatcher #​18178
• Fix stale symbol crashes in some path depended types in macro contexts #​18077
• Simplify avoidance of local types of Hole #​17571

Reporting

• Detail "not a constant type" message #​17626
• Suggest imports for the expected type of the underlying implicit not found error #​17976
• Fix: report correct location on a repeat modifier #​17982
• Warn when calling synchronized on AnyVal #​18021
• Fix compile error message in wildcard exports #​18189
• Improve parameter type inference error messaging #​18190
• Don't report warnings in migration when performing rewrites #​15589
• Fix crash reporter, units and phases #​17754
• Omit more prefixes in non-package module printing #​17758
• Fix pretty printer to handle using and erased modifier #​17952
• Add -Yprint-tasty compiler flag #​17986
• Add actionable item to PatternMatchExhaustivity diagnostic #​18314

Scaladoc

• Fix: -no-link-warnings does not work #​17028
• Fix: Validation for API link #​17099
• Scaladoc: type rendering fixes and improvements #​17213
• Feat: Add a custom icon #​17241
• Fix: Correction of the siteRoot path #​17297
• Fix: Correct the navigation to anchor #​17910
• Fix: Style for wiki syntax #​18079
• Fix NoSuchElementException in scaladoc #​18184
• Update jsoup dependency of Scaladoc to 7.2 #​19584

SemanticDB

• Check for primary constructor in namePresentInSource #​18325
• Add -semanticdb-text compiler option #​18307

Typer

• Fix pattern generation in "ordinal" mirror method #​17570
• Fix superType of SuperType #​17574
• Avoid crash in erasure when reference cannot be emitted #​18056
• Disallow overloading from breaking stable patterns #​18327
• Fix widen types before checking an implicit view exists #​18719
• Properly handle SAM types with wildcards #​18201
• Handle recursion in collectParts #​18214
• Allow eta-expansion of inline defs #​18249
• Stable names for lambda lifted methods #​18281
• Fix expandParam's use of argForParam/isArgPrefixOf. #​19412

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.3.1..3.3.2 these are:

    42	Paweł Marks
    38	Nicolas Stucki
    28	Chris Kipp
    15	Sébastien Doeraene
    13	Lucas Leblanc
    13	Martin Odersky
    12	Guillaume Martres
    11	Dale Wijnand
    10	Jamie Thompson
     8	ghostbuster91
     6	Florian3k
     5	Kacper Korban
     4	Jan Chyb
     4	Jędrzej Rochala
     4	Katarzyna Marek
     4	Quentin Bernet
     4	Seth Tisue
     3	Lucas
     3	Matt Bovel
     2	Julien Richard-Foy
     2	Wojciech Mazur
     1	Aleksey Troitskiy
     1	Arnout Engelen
     1	Bjorn Regnell
     1	Eugene Yokota
     1	Fabián Heredia Montiel
     1	Justin Reardon
     1	Kisaragi
     1	Martin Kučera
     1	Matthew Rooney
     1	Matthias Kurz
     1	Ondrej Lhotak
     1	Rikito Taniguchi
     1	Stefan Wachter
     1	Yuito Murase
     1	rochala

v3.3.1

Compare Source

Highlights of the release

• Support records in JavaParsers #​16762
• Port JVM backend refactor from Scala 2 #​15322

Other changes and fixes

Backend

• Disallow mixins where super calls bind to vals #​16908
• Fix #​15107: Avoid re-emitting a LineNumber after only LabelNodes. #​16813

Coverage

• Fix #​17042: Preserve the shape of secondary ctors in instrumentCoverage. #​17111

Default parameters

• Dupe fix when finding default arg getters #​17058

Documentation

• Fix: ensure syntax blocks for ebnf are marked as such #​16837

Erasure

• Handle @companionClass and @companionMethod meta-annotations #​17091

Extension Methods

• Support extension methods imported from different objects #​17050

GADTs

• Fix tuple member selection so it works with GADT healing #​16766
• Fix upper bound constraints, that are higher-kinded #​16744
• Split out immutable GadtConstraint #​16602

Implicits

• Improve subtyping check for not yet eta-expanded higher kinded types #​17139
• Harden tpd.Apply/TypeApply in case of errors #​16887
• Try to be more subtle when inferring type parameters of class parents #​16896
• Include P in the implicit scope of P.this.type #​17088

Incremental Compilation

• Fix under-compilation when the method type in a SAM changes #​16996

Infrastructure

• Set reference version to 3.3.0-RC6 #​17504
• Fix #​17119: Download Coursier from GitHub directly #​17141

Inline

• Remove NamedArg from inlined arguments #​17228
• Don't generate a Select for a TermRef with NoPrefix #​16754
• Prepare bodies of inline forwarders eagerly #​16757
• Do not remove inline method implementations until PruneErasedDefs #​17408

Java Interop

• ClassfileParser: allow missing param names (for JDK 21) #​17536

Linting

• Improve -Wunused: locals, privates with unset vars warning #​16639 #​17160
• Fix wunused false positive when deriving alias type #​17157
• Port -Wnonunit-statement setting for dotty #​16936

Match Types

• Normalize match type usage during implicit lookup #​17457
• Fix #​13757: Explicitly disallow higher-kinded scrutinees of match types. #​17322
• Fix match type reduction with wildcard type arguments #​17065
• Fix check whether classtag can be generated for match types #​16708

Parser

• Allow lines starting with . to fall outside previous indentation widths #​17056

Pattern Matching

• Fix #​11541: Specialize ClassTag[T] in exhaustivity check #​17385
• Check outer class prefixes in type projections when pattern matching #​17136
• Make unchecked cases non-@unchecked and non-unreachable #​16958
• Fix #​16899: Better handle X instanceOf P where X is T1 | T2 #​17382

Pickling

• ClassfileParser: Avoid cycle when accessing companion in inner class lookup #​16882

Polyfunctions

• Fix type aliases in beta-reduction of polyfunctions #​17054

Quotes

• Register paramProxy and thisProxy in Quote type #​17541
• Only check newVal/newMethod privateWithin on -Xcheck-macros #​17437
• Unencode quote and splice trees #​17342
• Correctly type Expr.ofTupleFromSeq for arity > 22 #​17261
• Use TermRef to distinguish distinct Type[T] instances #​17205
• Check level consistency of SingletonTypeTree as a type #​17209
• Fix splice type variable pattern detection #​17048
• Avoid creation of @SplicedType quote local refrences #​17051
• Dealias type references when healing types in quotes #​17049
• Replace quoted type variables in signature of HOAS pattern result #​16951
• Beta-reduce directly applied PolymorphicFunction #​16623
• Use Object.toString for quoted.{Expr, Type} #​16663
• Fix Splicer.isEscapedVariable #​16838
• Fix references to class members defined in quotes #​17107
• Handle pickled forward references in pickled expressions #​16855
• Fix #​16615 - crashes of path dependent types in spliced Type.of #​16773
• Disallow local term references in staged types #​16362
• Refactor level checking / type healing logic #​17082
• Dealias quoted types when staging #​17059
• Fix quotes with references to path dependent types #​17081
• Make arguments order in quote hole deterministic #​17405
• Only transform the body of the quote with QuoteTransformer #​17451
• Place staged type captures in Quote AST #​17424
• Add SplicePattern AST to parse and type quote pattern splices #​17396

Reflection

• -Xcheck-macros: add hint when a symbol in created twice #​16733
• Assert that symbols created using reflect API have correct privateWithin symbols #​17352
• Fix reflect.LambdaType type test #​16972
• Improve New/Select -Ycheck message #​16746
• Improve error message for CyclicReference in macros #​16749
• Add reflect defn.FunctionClass overloads #​16849

REPL

• Always load REPL classes in macros including the output directory #​16866

Reporting

• Improve missing argument list error #​17126
• Improve implicit parameter error message with aliases #​17125
• Improve "constructor proxy shadows outer" handling #​17154
• Clarify ambiguous reference error message #​16137
• Hint about forbidden combination of implicit values and conversions #​16735
• Attach explanation message to diagnostic message #​16787
• Propagate implicit search errors from implicit macros #​16840
• Detail UnapplyInvalidReturnType error message #​17167
• Add way to debug -Xcheck-macros tree checking #​16973
• Enrich and finesse compiler crash reporting #​17031
• Allow @​implicitNotFound messages as explanations #​16893
• Include top-level symbols from same file in outer ambiguity error #​17033
• Do not issue deprecation warnings when declaring deprecated case classes #​17165

Scala-JS

• Fix #​17344: Make implicit references to this above dynamic imports explicit. #​17357
• Fix #​12621: Better error message for JS trait ctor param. #​16811
• Fix #​16801: Handle Closure's of s.r.FunctionXXL. #​16809
• Fix #​17549: Unify how Memoize and Constructors decide what fields need storing. #​17560

Scaladoc

• Feat: Add a blog configuration with yaml #​17214
• Don't render the "$" for module #​17302
• Fix: Add scrollbar to the sidebar #​17203
• Scaladoc: fix crash when processing extends call #​17260
• Fix: Modify the CSS so that the logo of the generated documentation is adaptive #​17172
• Fix: Remove the duplicate parameter when generating the scaladoc. #​17097
• Fix: padding top in mobile version #​17019
• Fix: tap target of the menu in Mobile version #​17018
• Scaladoc: Fix expand icon not changing on anchor link #​17053
• Scaladoc: fix inkuire generation for PolyTypes #​17129
• Re port scroll bar #​17463
• Handle empty files and truncated YAML front matter #​17527

SemanticDB

• Make sure symbol exists before calling owner #​16860
• Support LambdaType (convert from HKTypeLambda) #​16056

Specification

• Apply class-shadowing.md to the Spec #​16839
• Adding base for future Spec into the compiler repo #​16825

Standard Library

• Optimization: avoid NotGiven allocations #​17090

Tooling

• Disable ExtractSemanticDB phase when writing to output directory defined as JAR. #​16790
• Print owner of bind symbol with -Yprint-debug-owners #​16854
• Small fixes to allow using Metals with scaladoc with sbt #​16816

Transform

• Move CrossVersionChecks before FirstTransform #​17301
• Fix needsOuterIfReferenced #​17159
• Drop incorrect super accessor in trait subclass #​17062
• Generate toString only for synthetic companions of case classes #​16890
• Check trait constructor for accessibility even if not called at Typer #​17094
• Fix #​17435: A simpler fix #​17436

Typer

• Preserve type bounds for inlined definitions in posttyper #​17190
• Change logic to find members of recursive types #​17386
• Recognize named arguments in isFunctionWithUnknownParamType #​17161
• Better comparisons for type projections #​17092
• Allow selectDynamic and applyDynamic to be extension methods #​17106
• Fix use of accessibleFrom when finding default arg getters #​16977
• Map class literal constant types #​16988
• Always use adapted type in withDenotation #​16901
• Restrict captureWildcards to only be used if needed #​16799
• Don't capture wildcards if in closure or by-name #​16732
• Infer: Don't minimise to Nothing if there's an upper bound #​16786
• Perform Matchable check only if type test is needed #​16824
• Don't eta expand unary varargs methods #​16892
• Fix beta-reduction with Nothing and null args #​16938
• Generate kind-correct wildcards when selecting from a wildcard #​17025
• Fix #​16405 ctd - wildcards prematurely resolving to Nothing #​16764
• Test: add regression test for #​7790 #​17473
• Properly handle AnyVals as refinement members of Selectables #​16286

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.3.0..3.3.1 these are:

   152	Nicolas Stucki
    73	Martin Odersky
    54	Dale Wijnand
    51	Szymon Rodziewicz
    49	Quentin Bernet
    38	Chris Kipp
    31	Paweł Marks
    19	David Hua
    18	Lucas
    18	ysthakur
    15	Fengyun Liu
    14	Guillaume Martres
    14	Jamie Thompson
    11	Sébastien Doeraene
     9	Timothée Andres
     8	Kacper Korban
     7	Matt Bovel
     7	Som Snytt
     6	Julien Richard-Foy
     6	Lucas Leblanc
     5	Michał Pałka
     4	Anatolii Kmetiuk
     4	Guillaume Raffin
     4	Jan Chyb
     4	Paul Coral
     4	Wojciech Mazur
     4	Yichen Xu
     3	Decel
     2	Adrien Piquerez
     2	Arman Bilge
     2	Carl
     2	Florian3k
     2	Kenji Yoshida
     2	Michael Pilquist
     2	Natsu Kagami
     2	Seth Tisue
     2	Tomasz Godzik
     2	Vasil Vasilev
     2	Yadu Krishnan
     1	Bersier
     1	Flavio Brasil
     1	Jan-Pieter van den Heuvel
     1	Lukas Rytz
     1	Miles Yucht
     1	Mohammad Yousuf Minhaj Zia
     1	Ondra Pelech
     1	Philippus
     1	Rikito Taniguchi
     1	Simon R
     1	brandonspark
     1	github-actions[bot]
     1	liang3zy22
     1	s.bazarsadaev
     1	Łukasz Wroński

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR has been generated by Mend Renovate. View repository job log here.