3.7.2

Highlights of the release

• Add an -Yimplicit-to-given flag for rewrites to easily test changes in the ecosystem #22580
  This experimental flag when used in conjunction with --rewrite allows to migrate most of implicit definitions as given. It aims to ease with migration to new syntax, or testing how it would affect your code base.

• Bump Scala CLI to v1.8.4 (was v1.8.0) #23538

  • Support for URLs in using file directives
  • Better support for the REPL with JDK 24+
  • experimental publish support for the Sonatype Central Portal
  • See full Scala CLI changelog

• Implement applied constructor types #22543
  It introduces new syntax allowing for easier definition of tracked parameters under -language:experimental.modularity
  You can read more about this experimental feature in the Modularity Improvements proposal documentation.

Other changes and fixes

Documentation

• Mark AnyRef::eq and AnyRef::ne as infix instead of special casing when emitting the warning #23252
• Mark eq and ne in Predef as infix #23255

Experimental: Capture Checking

• Allow caps in result types of functions to be mapped to reaches #23275
• Adapt types according to read-only status #23332
• Rename mut to update #23335
• Change retains annotation from using term arguments to using type arguments #22909
• New Syntax for Capture Variables and Explicit Capture Polymorphism v3 #23063
• Fix #23223: Add handling for classes deriving from Capability during Setup #23248
• Copy @use and @consume annotations to parameter types #23324
• Fix handling of @use and @consume in class parameters #23342
• Some usability improvements relating to errors #23370
• Loosen the "does not match previously inferred" criterion #23067
• Use level checking for Fresh instances #23101
• Ensure all capture variables carry the attachment #23162
• Cache ResultCaps #23198
• Move separation checking to -source:3.8 #23249
• Refactorings for CC error reporting #23260
• Standardize on log-based undo #23357
• Flag nonsensical capturing types with pure parents as errors #23367

Experimental: Erased Definitions

• Erased fields are not nullable #23311

Experimental: Explicit Nulls

• Relax comparison between Null and reference types in explicit nulls #23308
• Warn about unnecessary uses of .nn #23327

Experimental: Global Initialization

• Modified abstract domain in global initialization checker #23138

Experimental: Into Modifier

• Change into scheme to be fully type-based #23014

Experimental: Modularity

• Implement applied constructor types #22543

Implicits

• Try extensions for arguments with type mismatch error #23212

Linting

• Improve checking LHS of Assign #22977
• Remove premature caching of lookups for unused lint #22982
• Enclosing package p.q not visible as q #23069
• Mention extension in unused param warning #23132
• Improve Unit ascription escape hatch #23147
• Dealias for unused param check #23256
• Take inferred or explicit refinement result for unused check #23325
• Nowarn receiver of extension taking params #23351
• Improved edit span for import #23083
• Use result of lambda type of implicit in CheckUnused #23497

Parser

• Fix incorrect warning with -no-indent #23216
• Patvar: adjust caret in error message #23115
• Disallow empty parameter clauses in extension definition #23143

Pattern Matching

• Improve GADT reasoning for pattern alternatives #23205

Pickling

• Try to handle SkolemTypes in SingletonTypeTree during pickling #23236
• Avoid creating constructors where not warranted #23178

Presentation Compiler

• Use untpd.Tree instead of tpd.Tree for SelectionRangeProvider #22702
• Fix completion mode filtering + optimize scopeCompletions #23172
• Handle multiple params lists in for infer type #23197
• Add jpath to VirtualFile (for pc) #23203
• Add selection ranges for more names #23257
• Add inlay hints for by-name parameters #23283
• Implement code action 'convert to named lambda parameters' #22799
• Improve completions when a lot of exports are present #23414
• Buffix: Make PC actions work for re-exported symbols #22722
• Bugfix: Fix enumeration issues when Value is imported #23124
• Bugfix: Check in the collector for empty arrays #23341
• Bugfix: Don't check scope members if not needed #23384
• Improvement: Don't dealias named tuples for type hints #23013
• Improvement: Simplify match types when possible #23146
• Improvement: Improve efficiency of completions #23355
• Improvement: Cache compilation on . and don't add CURSOR #23356

Private Options

• Add scala.language.2.13 #23219

Rewrites

• Remove empty parentheses when rewriting implicits to givens #23339

Quotes

• Preserve implicits in Quotes context #23263
• Don't StackOverflow when printing RecursiveType structure. #22859

Reflection

• Forbid StringConstant(null) #23064

Reporting

• Fix incorrect warning on type ascription for backquoted identifiers #23088
• Improve position of deprecation #23052
• Have a better error message when context bounds are not allowed #23190
• Avoid false warning when synthesising deferred givens #23087
• Fix insufficient number width allocated when using -print-lines #23336

SemanticDB

• Fix SemantiDB production of method signature with shadowed parameters #23161
• Check if symbol exists before calling methods on it #23376

Settings

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

Tooling

• Suggest to add using as a code action #23079

Transform

• Warn trivial recursion with module prefix #23278
• Partial function synthesis changesOwner of selector #23337
• Check path of module prefix for tailrec #23491
• Fix stale top level synthetic package object being used in later runs #23464

Typer

• Compare TypeVar and TypeParamRef in mergeRefinedOrApplied #23045
• Revert recent changes to opaque type proxy generation #23059
• Only keep denotation for methods in IntegrateMap #23226
• Tighten condition when to do SAM type conversion #23246
• Revert "Make overload pruning based on result types less aggressive (#21744)" in main #23331
• Tweak parameter dependency test when typing applications #23346
• Ensure pt span exists in implicitParams migration #23372
• Check for error before checking members of product type in getUnapplySelectors #23358
• Synthesise value of this.type in ValueOf #23094
• Hide constructor proxies at PostTyper #23269
• Fix regressions in asSeenFrom introduced in 3.7 #23438

Contributors

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

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

    93  Martin Odersky
    29  Wojciech Mazur
    22  Som Snytt
    22  noti0na1
    14  Tomasz Godzik
    13  Hamza Remmal
    13  Yichen Xu
     6  EnzeXing
     5  Jan Chyb
     5  Matt Bovel
     3  Oliver Bračevac
     3  aherlihy
     3  kasiaMarek
     2  Alexander
     2  Dale Wijnand
     2  Dolphin von Chips
     2  Georgi Krastev
     2  Jędrzej Rochala
     2  Kacper Korban
     2  Natsu Kagami
     2  Ondrej Lhotak
     2  Piotr Chabelski
     2  Seyon Sivatharan
     2  Yoonjae Jeon
     2  Zieliński Patryk
     1  Guillaume Martres
     1  Jakub Kozłowski
     1  Katarzyna Marek
     1  MatthieuSLR9
     1  Ondřej Lhoták
     1  Tomas Mikula
     1  anna herlihy
     1  dependabot[bot]
     1  rochala
     1  s2sivath