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

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
scala	3.3.0 -> 3.7.1

---

Release Notes

scala/scala3 (scala)

v3.7.1

Compare Source

Highlights of the release

• Support for JDK 25 #​23004
• Warn if interpolator uses toString #​20578
• Warn if match in block is not used for PartialFunction #​23002

Other changes and fixes

Annotations

• Approximate annotated types in wildApprox #​22893
• Keep unused annot on params #​23037

Erasure

• Disallow context function types as value-class parameters #​23015

Experimental: Capture Checking

• Two fixes to handling of abstract types with cap bounds #​22838
• Drop idempotent type maps #​22910
• Fix setup of class constructors #​22980

Experimental: Unroll

• Fix #​22833: allow unroll annotation in methods of final class #​22926

Experimental: Referencable Package Objects

• Add experimental.packageObjectValues language setting #​23001

Exports

• Respect export alias for default arg forwarder #​21109

Extension Methods

• Extension check checks for no parens not empty parens #​22825

GADTs

• Fix: Prevent GADT reasoning in pattern alternatives #​22853

Linting

• Dealias when looking into imports #​22889
• Process Export for unused check #​22984
• Drill into QuotePattern bindings symbol info #​22987
• No warn implicit param of overriding method #​22901
• No warn for evidence params of marker traits such as NotGiven #​22985
• Mention extension in unused param warning #​23132
• Remove premature caching of lookups for unused lint #​22982
• Enclosing package p.q not visible as q #​23069

Inline

• Revert recent changes to opaque type proxy generation #​23059

Initialization

• Check for tasty error in template trees. #​22867

Metaprogramming: Compile-time

• Fix issue with certain synthetics missing in compiletime.typechecks #​22978

Named Tuples

• Call dealias after stripping type variables for tupleElementTypesUpTo #​23005
• Avoid loosing denotations of named types during integrate #​22839

Pattern Matching

• Fix existing GADT constraints with introduced pattern-bound symbols #​22928

Pickling

• Fix fromProduct synthesized code for parameter-dependent case classes #​22961

Presentation Compiler

• Completions for requests just before string #​22894
• Fix: go to def should lead to all: apply, object and class #​22771
• Ignore ending $ when looking at end marker names #​22798
• Feature: Skip auto importing symbols we know are wrong in current context #​22813
• Show the Autofill completion case as what would be auto-filled #​22819
• Bugfix: Fix issues with annotations not detected #​22878
• Improvement: Rework IndexedContext to reuse the previously calculated scopes #​22898
• Pc: Properly adjust indentation when inlining blocks #​22915
• Improvement: Support using directives in worksheets #​22957
• Fix: show hover for synthetics if explicitly used #​22973
• Pc: fix: inline value when def indentation equals 2 #​22990

Rewrites

• Fix insertion of using in applications with trailing lambda syntax #​22937
• Test chars safely when highlighting #​22918

Reporting

• Print infix operations in infix form #​22854

Runner

• Bump Scala CLI to v1.8.0 (was v1.7.1) #​23168

Scaladoc

• Chore: add support for 'abstract override' modifier #​22802
• Scaladoc: fix generation of unique header ids #​22779

Settings

• Filter allowed source versions by import and by settings #​23215

Typer

• Disallow context bounds in type lambdas #​22659
• Refuse trailing type parameters in extractors #​22699
• Fix #​22724: Revert the PolyType case in #​21744 #​22820
• Fix isGenericArrayElement for higher-kinded types #​22938
• Tighten condition to preserve denotation in IntegrateMap #​23060

Transform

• Mix in the productPrefix hash statically in case class hashCode #​22865

Value Classes

• Fix #​21918: Disallow value classes extending type aliases of AnyVal #​23021

Contributors

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

According to git shortlog -sn --no-merges 3.7.0..3.7.1 these are:

   135  Martin Odersky
    31  Som Snytt
    14  Wojciech Mazur
    13  Hamza Remmal
    13  Matt Bovel
     6  Jan Chyb
     5  Quentin Bernet
     5  Tomasz Godzik
     4  aherlihy
     3  HarrisL2
     3  Natsu Kagami
     3  Ondrej Lhotak
     3  Piotr Chabelski
     3  Sébastien Doeraene
     2  Yichen Xu
     2  Yoonjae Jeon
     2  kasiaMarek
     1  Aleksey Troitskiy
     1  Daisy Li
     1  Dale Wijnand
     1  Jan-Pieter van den Heuvel
     1  Jędrzej Rochala
     1  Kacper Korban
     1  Katarzyna Marek
     1  Lukas Rytz
     1  Mikołaj Fornal
     1  Nikita Glushchenko
     1  Oliver Bračevac
     1  Ondřej Lhoták
     1  dependabot[bot]
     1  noti0na1
     1  philippus

v3.7.0

Compare Source

See release blogpost: https://www.scala-lang.org/news/3.7.0/

Highlights of the release

• Add @scala.annotation.internal.preview annotation and -preview flag. #​22317
• Make SIP-52 @publicInBinary a stable feature in 3.7 #​22591
• Make SIP-58 - Named Tuples a stable feature in 3.7 #​22753
• Make SIP-62 - Better Fors a preview feature in 3.7 #​22776
• Implement SIP-61 @unroll annotation as experimental #​21693
• Upgrade Scala 2 Standard Library to 2.13.16 #​22386
• Upgrade Scala.js to 1.19.0 #​23026
• Upgrade Scala CLI to 1.7.1 #​22843
• Expression Compiler is now part of Scala 3 compiler #​22597
• Quotes API: Added apply methods to import selectors #​22457
• Quotes API: Implement experimental summonIgnoring method #​22417
• Quotes API: Add class parameters, flags, and privateWithin and annotations to experimental newClass methods #​21880
• Experimental: Capture Calculus - Inferring tracked modifier #​21628
• Presentation Compiler: Show inferred type on holes in hover #​21423
• JVM Backend: Fix #​15736 blocking Scala 3 on Android #​22632
• REPL: add flag to quit after evaluating init script #​22636
• REPL: implement :jar (deprecate :require) #​22343
• Linting: Improvements to -Wunused and -Wconf #​20894
• Implicit parameters warn at call site without using keyword #​22441
• Support for dependent case classes #​21698
• Deprecate Yno-kind-polymorphism #​22814

Other changes and fixes

Annotations

• Lift arguments of explicitly constructed annotations #​22553
• Fix copy of annotation on @main methods #​22582
• @publicInBinary has now effect on secondary constructors #​22630
• Fix mapping of annotations #​22407

Backend: Scala.js

• Emit js.NewArray IR nodes when possible. #​22446
• Fix #​22794: Emit the definition of Arrays.newArray even though it's a primitive #​22797

Classpath

• Fix empty ClassPath attribute in one or more classpath jars causes crash #​22462

Documentation

• Improve the usage of inclusive language #​22360

Erasure

• Handle type aliases in contextFunctionResultTypeAfter #​21517
• Align erasure of Array[Nothing] and Array[Null] with Scala 2 #​22517

Desugering

• Under betterFors don't drop the trailing map if it would result in a different type (also drop _ => ()) #​22619

Experimental: Capture Checking

• Canonicalize capture variable subtype comparisons #​22299
• Permit Capture Refs for Uninitialized Type and Term Params in BiTypeMap #​22451
• Fix maximal capability handling and expand aliases #​22341

Experimental: Modularity

• Widen skolem types when adding parent refinements #​22488

Experimental: Global Initialization Checker

• Refactor the abstract domain of global init checker to compile http4s #​22179
• Fix global init checking crash when using a value defined in by-name closure #​22625

Experimentals

• Expand value references to packages to their underlying package objects #​22011

Implicits

• Restrict implicit args to using #​22458

Linting

• Suppress spurious Suppression #​22383
• CheckUnused checks span.exists before testing its parts #​22504
• Don't warn retainedBody #​22510
• Handle Typeable #​22663
• Nowarn public implicit val class params #​22664
• Exclude synthetic this.m, Any.m from import lookup #​22695
• Warn unused member of anonymous class #​22729
• Ignore params to default arg getters #​22749
• Lazy val def member is pattern var #​22750
• Restore resolving prefixes of implicit Ident #​22751
• No warning for parameter of overriding method #​22757
• Dealias before checking for member in lint #​22708
• Warn on bad extensions of aliases #​22362
• Warn universal extensions on opaque types #​22502
• Discourage default arg for extension receiver #​22492
• Rename on import is never wildcard #​22712
• Collect nowarn symbols instead of skipping them #​22766
• Revert unconditional lint of Inlined expansion #​22815

Match Types

• Handle NoType in TypeComparer.disjointnessBoundary #​21520

Named Tuples

• Special case NamedTuple.From for arguments derived from Tuple #​22449
• Generate mirrors for named tuples #​22469
• Two fixes to NamedTuple pattern matching #​22953

Opaque Types

• Fix stack overflow errors when generating opaque type proxies #​22479
• Fix inline proxy generation for opaque types referencing other opaque types #​22381
• Fix opaque types leaking rhs when inlined and found in type params (and a related stale symbol issue) #​22655

Overloading

• Make overload pruning based on result types less aggressive #​21744
• Fail compilation if multiple conflicting top-level private defs/vals are in the same package #​22759

Parser

• Fix annotations being not expected in the middle of an array type by java parser #​22391
• No outdent at eof #​22435
• Allow observing an indent after conditional #​22611
• Correctly detect colon lambda eol indent for optional brace of argument #​22477

Pattern Matching

• Avoid crash in uninhab check in Space #​22601
• Account for named tuples in space subtraction #​22658
• Check exhaustivity of any case class #​22604

Presentation Compiler

• Add enum type param support in sourceSymbol #​18603
• Map name position to desugared version of named context bound #​22374
• Hover and go to definition for named tuples #​22202
• Completions: do not complete package #​20532
• Print parens for single method argument only if a direct tuple type #​21510
• Improvement: use heuristic to figure out nameSpan if pointDelta too big #​22484
• Fix inferredTypeEdits for symbols #​22485
• Fix: Only fallback to the definition of a synthetic valdef if it is zero extent #​22551
• Better LSP completions inside of backticks #​22555
• Don't search for members in pc info when irrelevant #​22674
• Backport from Metals #​22426
• Backport from Metals #​22491
• Backport from Metals #​22665

Runner

• Upgrade Scala CLI to 1.7.1 highlights
  • Switch to scalameta/scalafmt images of scalafmt 3.9.1+ #​3502
  • Support the --test command line option for run subcommand #​3519
  • Support the --test command line option for package subcommand #​3519
  • Detect objects with main class in scripts #​3479
  • Support for Scala.js 1.18.2 #​3454
  • Support for Scala Native 0.5.7 #​3527
  • Add support for running a main method from the test scope #​3502

Quotes

• Add a check for correct Array shape in quotes.reflect.ClassOfConstant #​22033
• Fix issue with static this references erroring in quoted code #​22618
• Fix #​21721: make case TypeBlock(,) not match non-type Block #​21722
• Make Ref.apply() return trees usable in the largest scope possible #​22240
• Make sure Block does not incorrectly match a TypeBlock #​22716
• Do not approximate prefixes when using memberType in reflect API #​22448
• Bring back pattern match exhaustivity checking for macros #​22622

REPL

• REPL: JLine 3.29.0 (was 3.27.1) #​22679
• Repl: emit warning for the :sh command #​22694
• Add warning for :kind command #​22572
• Check trailing blank line at EOF for OUTDENT #​22855

Reporting

• Filter help renders box border #​22434
• Register nowarn when inlining #​22682
• Rule out exports of member of the current class #​22545

Standard Library

• Changes in preparation to make caps.Capability stable #​22849
• Mitigate change in status of scala.caps #​22956

Scaladoc

• Render @deprecated correctly even when named arguments weren't used #​21925
• Remove DRI from Scaladoc warnings #​22330

SemanticDB

• Don't add () to semanticdb symbol for java variables #​22573
• Fix compiler crash when using betasty with missing java classfiles #​22599

Transform

• Check only stable qual for import prefix #​22633
• Treat static vals as enclosures in lambdalift #​22452
• Record calls to constructors in lambdaLift #​22487
• Only check logicalOwners for methods, and not for classes, when looking for proxies #​22356
• Add error-checking when fetching rhs of trees from TASTy #​22565

Typer

• Root of Java select must be class or rooted package #​21800
• Check if a prefix is valid before selecting from a type #​22368
• Preserve hard unions in widenSingletons #​22369
• Constructor proxy is restricted if class is protected #​22563
• Constructor companion gets privateWithin #​22627
• Revert lambda cleanup #​22697
• Avoid infinite recursion when looking for suggestions #​22361
• Fix cyclic check, regardless of definition order #​22342
• Avoid inf recursion in provablyDisjointClasses #​22489

Value Classes

• Allow private members when computing the denotation of a NamedType #​22549

Other changes

• Remove locale dependent FileSystemException check #​21633

Contributors

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

According to git shortlog -sn --no-merges 3.6.4..3.7.0 these are:

    63  Martin Odersky
    47  Som Snytt
    33  Adrien Piquerez
    32  Hamza Remmal
    29  Wojciech Mazur
    19  aherlihy
    19  kasiaMarek
    16  Jan Chyb
    13  Dale Wijnand
    11  Kacper Korban
    10  EnzeXing
     9  Sébastien Doeraene
     7  Guillaume Martres
     7  Matt Bovel
     7  Oliver Bračevac
     7  noti0na1
     5  HarrisL2
     5  Jamie Thompson
     5  dependabot[bot]
     4  Joel Wilsson
     4  Piotr Chabelski
     4  Seth Tisue
     3  Roman Janusz
     3  anna herlihy
     2  David Hua
     2  Tomasz Godzik
     2  Yichen Xu
     1  Alec Theriault
     1  Daisy Li
     1  Daniel Thoma
     1  Dmitrii Naumenko
     1  Felix Herrmann
     1  He-Pin(kerr)
     1  João Ferreira
     1  Jędrzej Rochala
     1  Katarzyna Marek
     1  Kenji Yoshida
     1  Natsu Kagami
     1  Niklas Fiekas
     1  Rocco Mathijn Andela
     1  Vadim Chelyshov
     1  adpi2
     1  fan-tom
     1  philwalk
     1  rochala

v3.6.4

Compare Source

Highlights of the release

• Support for JDK 24 #​22250
• REPL :silent command to toggle automatic printing of outputs #​22248
• REPL --repl-init-script: setting to run a code on startup #​22206
• Deprecated setting -Xno-decode-stacktraces is now an alias to -Xno-enrich-error-messages #​22208
• Annotation arguments are no longer lifted #​22035
• Experimental Capture Checking: Implement tracked members #​21761

Breaking changes

• Align @implicitNotFound and @implicitAmbigous with the language specification #​22371

  This change may impact users who previously used these annotations using variables or string interpolation.

  Previously, a bug in the Scala 3 compiler allowed non-literal strings to be passed as arguments to the @implicitNotFound and @implicitAmbiguous annotations.
  This could have affected how failed implicit search results were reported by the compiler.

  Starting from Scala 3.6.4, the arguments for these annotations must be string literals.
  If a message is too long, it can be concatenated using the + operator, allowing for constant folding.

Other changes and fixes

Annotations

• Make sure symbols in annotation trees are fresh before pickling #​22002
• Consider all arguments in Annotations.refersToParamOf #​22001
• Do not lift annotation arguments (bis) #​22046

Desugaring

• Fix #​22051: only trust the type application part for case class unapplies #​22099

Documentation

• Update example code linked to obsolete content in macros-spec.md #​22256

Experimental: Capture Checking

• Fix #​21868, #​21869, and #​21870: handle CapsOf in more places #​21875
• Refine rules for capture parameters and members #​22000
• Add a hint for using CC with REPL #​22220
• Consolidate CC #​21863

Experimental: Global Initialization

• Fix crash when initializing val in ByName closure #​22354

Experimental: Named Tuples

• Handle TypeProxy of Named Tuples in unapply #​22325
• Fail more eagerly when trying to adapt named unapply patterns #​22315
• Widen singleton types when computing fields from .Fields #​22149
• Fix .toTuple insertion #​22028

Extension Methods

• Tweak ExtensionNullifiedByMember #​22268
• Nowarn extension matching nonpublic member #​21825

Implicits

• Rollback constraints in compareAppliedTypeParamRef #​22339
• Try implicit searching after finding dynamic select #​22318

Linting

• Allow discarding "Discarded non-Unit" warnings with : Unit #​21927

Match Types

• Fix #​21841: Check more that an unapplySeq on a NonEmptyTuple is valid. #​22366
• Type avoidance in MT bound inference #​22142

Metaprogramming

• Rethrow SuspendExceptions caught in CodeGen phase #​22009

Metaprogramming: Compile-time

• Extend compiletime.testing.typechecks with certain transform phases #​21185

Nullability

• Fix #​21619: Refactor NotNullInfo to record every reference which is retracted once. #​21624

Presentation Compiler

• Use new infer expected type for singleton complations #​21421
• Fix match error in keyword completions #​22138

Reflection

• Do not return java outline dummy constructor in primaryConstructor #​22104

Reporting

• Normalise the types for Type Mismatch Error (E007) #​22337
• Improve given search preference warning #​22189
• Better error messages when an enum derives from AnyVal #​22236
• Correctly print litteral types in the refined printer #​22351

Rewrites

• Undo patch of double-block apply #​21982

Scaladoc

• Scaladoc: Add support for named tuples #​22263

Settings

• Limit exposure to ConcurrentModificationException when sys props are replaced or mutated #​22180

Specification

• Align the spec to allow the marker #​22323
• Integrate the specification for match types. #​22164

Transform

• Fix #​22226: Use classOf[BoxedUnit] for Unit array in ArrayConstructors. #​22238

Typer

• Fixes for isLegalPrefix change #​22241
• Resolve name when named imp is behind wild imps #​21888

Contributors

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

According to git shortlog -sn --no-merges 3.6.3..3.6.4 these are:

    46  Martin Odersky
    33  noti0na1
    24  Wojciech Mazur
    14  Dale Wijnand
    13  Matt Bovel
    11  Hamza Remmal
     7  Jan Chyb
     6  aherlihy
     5  Kacper Korban
     5  Seth Tisue
     5  Som Snytt
     4  Oliver Bračevac
     4  Yichen Xu
     3  Sébastien Doeraene
     3  dependabot[bot]
     3  kasiaMarek
     2  João Ferreira
     1  David Hua
     1  Eugene Flesselle
     1  Eugene Yokota
     1  Florian3k
     1  Jędrzej Rochala
     1  Kenji Yoshida
     1  Mathias
     1  Natsu Kagami
     1  Oleg Zenzin
     1  Piotr Chabelski
     1  Rui Chen
     1  philippus
     1  rochala
     1  xiaoshihou

v3.6.3

Compare Source

Highlights of the release

• Scala 2 forwardport: -Yprofile-trace #​19897

Other changes and fixes

Annotations

• Fix Java parsing of annotations on qualified types #​21867
• Consider all arguments in Annotations.refersToParamOf #​22001

Backend

• Flag class file collision as error #​19332

Compiler Phases

• Fix #​21939: Update names and descriptions for cc and setup phases #​21942
• Limit exposure to ConcurrentModificationException when sys props are replaced or mutated #​22275

Experimental: Explicit Nulls

• Improve warning for wildcard matching only null under the explicit nulls flag (#​21577) #​21623
• Fix warning message for matching on redundant nulls #​21850

Experimental: Capture Checking

• Fix #​21868, #​21869, and #​21870: handle CapsOf in more places #​21875
• Consolidate CC #​21863
• Add path support for capture checking #​21445

Experimentals

• Replace symbol traversal with tree traversal when finding top level experimentals #​21827

Extension Methods

• Nowarn extension matching nonpublic member #​21825

Implicits

• Apply implicit conversion from derived Conversion instance defined as implicit rather than given #​21785

Imports

• Allow imports nested in packagings to shadow #​21539

Inline

• Avoid using the current denotation in NamedType.disambiguate #​21414
• Drop phase.isTyper use in isLegalPrefix/asf #​21954
• Fix for macro annotation that resolves macro-based implicit crashing the compiler #​20353
• Allow macro annotations to recover from suspension #​21969

Linting

• Disallow open modifier on objects #​21922
• Allow discarding "Discarded non-Unit" warnings with : Unit #​21927

Opaque Types

• Fix pkg obj prefix of opaque tp ext meth #​21527

Parser

• Fix: don't consider into as a soft-modifier #​21924

Pattern Matching

• Drop inaccessible subclasses from refineUsingParent #​21799
• (Re-)Drop inaccessible subclasses from refineUsingParent #​21930
• Fix use of class terms in match analysis #​21848
• Don't project nested wildcard patterns to nullable #​21934
• Fix provablyDisjoint handling enum constants with mixins #​21876
• Do not consider uninhabited constructors when performing exhaustive match checking #​21750

Presentation Compiler

• Update mtags to 1.4.1 and backport remaining changes #​21859
• Backport changes for the presentation compiler from Metals #​21756

Pickling

• Avoid orphan param from default arg #​21824
• Make sure definition tree has the defined symbol #​21851

REPL

• Allow top-level opaque type definitions in REPL #​21753
• JLine: follow recommendation to use JNI, not JNA; also JLine 3.27.1 (was 3.27.0) #​22271

Scaladoc

• Fix scaladoc TastyInspector regressions #​21716
• Bring back the fix for scaladoc TastyInspector regressions #​21929
• Fix scaladoc graph highlight background color in dark mode #​21814

Standard Library

• Combine cases of Tuple.Zip disjoint from (h1 *: t1, h2 *: t2) #​21287

Quotes

• Fix #​20471: owners of top-level symbols in cached quoted code being incorrect #​21945

Reporting

• Do not warn about expected missing positions in quotes.reflect.Symbol #​21677
• Add missing error messages to asserts in QuotesImpl #​21852
• Don't point to the compiler backlog when a compiler plugin phase crashes #​21887
• Better error message for polytypes wrapping capturing types #​21843
• Pretty-print lambdas #​21846
• Nowarn extension matching nonpublic member #​22276
• Refactor: Improve Given search preference warning #​22273

Runner

• Fix: update scala-cli.jar path #​22274

Releases

• Fix layout of released SDK archives, restore intermiediete top-level directory #​22272

Scala.js

• Shade scalajs.ir under dotty.tools #​21765

SemanticDB

• Extract semanticDB for lifted definitions #​21856

Transform

• Fix enclosingClass from returning refinement classes #​21411
• Attempt to beta reduce only if parameters and arguments have same shape #​21970
• Drop copied parent refinements before generating bytecode #​21733

Tooling

• Ensure to escape characters before constructing JSON profile trace #​21872

Tuples

• Fix tupleTypeFromSeq for XXL tuples #​21782

Typer

• Do not crash when typing a closure with unknown type, since it can occur for erroneous input #​21178
• Revert SAM condition to what it was before #​21684
• Fix ctx implicits under case unapplySeq #​21748
• Avoid erasure/preErasure issues around Any in transformIsInstanceOf #​21647

Contributors

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

According to git shortlog -sn --no-merges 3.6.2..3.6.3 these are:

    33  Wojciech Mazur
    30  Dale Wijnand
    30  Kacper Korban
    14  noti0na1
    11  Hamza Remmal
    10  Eugene Flesselle
    10  HarrisL2
     9  Martin Odersky
     8  Matt Bovel
     7  Jan Chyb
     6  Tomasz Godzik
     5  Seth Tisue
     4  Jamie Thompson
     2  Friendseeker
     2  João Ferreira
     2  Pascal Weisenburger
     2  Som Snytt
     2  Sébastien Doeraene
     1  Adrien Piquerez
     1  Alden Torres
     1  Alexander
     1  Eugene Yokota
     1  Fengyun Liu
     1  Georgi Krastev
     1  Jentsch
     1  Lunfu Zhong
     1  Michał Pałka
     1  Natsu Kagami
     1  Rui Chen
     1  dependabot[bot]
     1  friendseeker
     1  tgodzik

v3.6.2

Compare Source

Highlights of the release

• Stabilise SIP-47 (Adding Clause Interleaving to method definitions) #​20861
• Stabilise SIP-64 (New syntax of givens and context bounds) #​21668
• Context Bounds for Polymorphic Functions #​21643
• Switch mapping of context bounds to using clauses in 3.6 #​21257
• Enable betterMatchTypeExtractors in >= 3.6 #​21198
• Require named arguments for java defined annotations #​21329
• Refine the bounds of the Tuple.Filter type lambda predicate .. #​21286
• Add an infix shorthand for Tuple.{Append, Concat} #​21288
• Add .msi artifacts to release assets #​21834
• Implement SIP-62 as experimental - For comprehension improvements #​20522
• Implement SIP-57 as experimental - add runtimeChecked method and annotation #​20987

Other changes and fixes

Annotations

• Tighten java annot value parsing #​21650

Erasure

• Fixes IllegalAccessError with Java package protected class #​21362

Experimental: Capture Checking

• Fix setup of CapSet arguments. #​21309
• Check all top-level covariant capture sets in checkNotUniversal #​21428
• Charge also dcs of local reaches to capture set of enclosing method #​21443
• No need to unbox if expected type is LhsProto #​21508
• Treat more closure parameter types as inferred #​21583
• Existential Capabilities #​20566
• Fixes for cleanup retains scheme #​21350
• Improve Contains handling #​21361
• Expand Capability types T to T^ only if no explicit capture set is given #​21375
• Tighten closure extractor in TreeInfo #​21621

Experimental: Global Initialization

• Analyze object when selecting from package #​21511
• Fix bug in init checker while compiling scodec-bits community project #​21574

Experimental: Named Tuples

• Finalize named tuples #​21710
• Move NamedTuple.head to NamedTupleDecomposition #​21308
• Move NonEmptyTuple members into Tuple #​21291
• Migration rewrites for infix arguments interpreted as named tuples #​21949
• Make named tuples a standard feature #​21680
• Make named tuples an experimental feature again #​22045

Experimental: Explicit Nulls

• Fix #​21392: Adjust canComparePredefined(Nothing, T) in explicit nulls #​21504
• Add tracking of NotNullInfo for Match, Case, Try trees (fix #​21380) #​21389

Experimentals

• [experimental feature] Support HOAS pattern with type variables for quote pattern matching #​18271

Exports

• Re-use attachment in exportForwarders to handle ambiguous overloads #​21518
• Allow export statements in AnyVal #​21653

Extension Methods

• Make right assoc ext method fwd refs error #​21641

Inline

• Fix: throw an error before assigning ErrorType when expanding constValue #​21364

Implicits

• Fix prioritization of givens over implicits #​21226

JVM Backend

• Backend computes line number from source of position #​21763

Linting

• CheckUnused checks type param annotations #​20549

Match Types

• Fix #​21295: Restrict provablyDisjoint with Nothings in invariant type params. #​21891
• Do not propagate TypeErrors of ops from TypeComparer#tryAlso #​21070
• Fix #​21402: Always allow type member extraction for stable scrutinees in match types. #​21700
• Add a 3.6-migration warning for MT lubbing #​21336
• Always interpret underscores inside patterns as type bounds #​21718

Opaque Types

• Capture the kse3 issue in test cases and close it #​21260

Parser

• Guard against recursive lower bounds in constraints #​21587
• Handle old given syntax where identifier and type are seperated by new line #​21957
• Fix: Allow as as an infix type in non context bound types #​21849
• Revised given syntax #​21208
• Make context bounds for poly functions a standard feature #​22019

Pattern Matching

• Optimise SpaceEngine.signature #​21791
• Fix a bundle of patmat issues #​21000

Pickling

• Some fixes for AnnotatedTypes mapping #​19957

Polyfunctions

• Fix: Check if a PolyFunction TypeTree has no ByName parameters #​21671

Presentation Compiler

• Add regression test for issue 18726 #​20318
• Remove artificial CURSOR added to code in the completions #​20899
• Fix autoimports with using directives #​21590

Quotes

• Handle suspension due to macro call in arbitrary phases #​21651
• Have a better error message when healing types #​21711
• Bound TypeRepr by Matchable in Quotes #​21377
• Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #​20494

Reflection

• Add the possibility to create a typeSymbol in the Quotes API #​20347
• Fix stale symbols connected to lazy vals in macros #​21559

Reporting

• Add better error reporting for inlined non-immutable paths #​21639
• Only replace new errors by warnings under -migration #​21289
• Warn when named tuples resemble assignments #​21823

REPL

• REPL: JLine 3.27.0 (was 3.25.1) #​21752
• Ignore best effort settings in repl and update docs #​21540

Rewrites

• Remove empty argument lists for classes with only context bounds #​21513
• Fix rewrite logic for old <function> _ syntax #​21715
• Remove the -rewrite option for typechecks methods in Quotes #​21547
• Add migration rewrite for non-named arguments in Java annotations #​21397

Runner

• Update Scala CLI to 1.5.4 (was 1.5.1) & coursier to 2.1.18 (was 2.1.13) #​22021
  • Scala CLI 1.5.2 release notes highlights:
    • --source is now deprecated and scheduled for removal in Scala CLI v1.6.x
    • Initial support for emitting Wasm with a command line option and a directive
  • Scala CLI 1.5.3 release notes
  • Scala CLI 1.5.4 release notes

Scaladoc

• Only trim one newline when preprocessing the content of a markdown code snippet #​21519
• Filter opaque modifier from object documentation #​21640
• Bump Inkuire version to fix it for the new Scala versions #​21611

Standard Library

• Scala 2.13.15 (was .14) #​21648
• Define binary symbolic compiletime ops as infix #​21683

Transform

• Fix treatment of separately compiled @native methods in FirstTransform #​21593
• Three fixes to SAM type handling #​21596
• Always rewrite empty List() to Nil #​21689
• Add support for clauseInterleaving in JVM generic signatures #​21709

Typeclass Derivation

• Nicer error message in case a derived method has an explicit term param #​21332

Typer

• Calm param autotupling for overloads #​21552
• Survive inaccessible types when computing implicit scope #​21589
• Avoid cyclic errors forcing default arg types #​21597
• Allow

---

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 was generated by Mend Renovate. View the repository job log.