Merge branch 'release-3.7.2' into language-reference-stable

Author: WojciechMazur

.github/ISSUE_TEMPLATE/bug.md

@@ -9,19 +9,33 @@ assignees: ''
 
 ## Compiler version
 
-If you're not sure what version you're using, run `print scalaVersion` from sbt
-(if you're running scalac manually, use `scalac -version` instead).
+If you're not sure which version you're using, run `print scalaVersion` from sbt.
+(If you're running scalac manually, use `scalac -version` instead.)
+
+If possible, check if your issue appears in the nightly version of the compiler! For example, in Scala CLI (the `scala`/`scala-cli` runner script), you can use `//> using scala 3.nightly` (or `-S 3.nightly` from the command line) to grab the latest one.
 
 ## Minimized code
 
 <!--
 This code should be self contained, compilable (with possible failures) and as small as possible.
 
-Ideally, we should be able to just copy this code in a file and run `scalac` (and maybe `scala`) to reproduce the issue.
+Ideally, we should be able to just copy this code to a file and run `scalac` (and maybe `scala`) to reproduce the issue.
+
+If the code has external dependencies, please provide the Scala CLI directives (or SBT/other build tool configuration) that describe them.
+Also note that it's easier and faster for the maintenance team to address issues minimised to reproduce bugs without external dependencies.
+
+It's most convenient to also include `using` directives for the Scala version that demonstrates the problem,
+any compiler command-line options, as well as dependencies. An example is provided.
+
+It's also fine to paste the transcript of a REPL session. Note that some bugs may be specific to the REPL.
 -->
 
-```Scala
-println("hello, world")
+```scala
+//> using scala 3.7.0
+//> using options -Wall -Werror
+//> using dep com.outr::scribe:3.16.1
+
+@main def test = println("hello, world")
 ```
 
 ## Output

.github/workflows/cla.yml

@@ -6,6 +6,7 @@ on:
 jobs:
   check:
     runs-on: ubuntu-latest
+    if: github.event.pull_request.user.login != 'dependabot'
     steps:
       - name: Verify CLA
         uses: scala/cla-checker@v1

.github/workflows/lts-backport.yaml

@@ -16,7 +16,7 @@ jobs:
         with:
           fetch-depth: 0
       - uses: coursier/cache-action@v6
-      - uses: VirtusLab/scala-cli-setup@v1.7.1
+      - uses: VirtusLab/scala-cli-setup@v1.8.4
       - run: scala-cli ./project/scripts/addToBackportingProject.scala -- ${{ github.sha }}
         env:
           GRAPHQL_API_TOKEN: ${{ secrets.GRAPHQL_API_TOKEN }}

.github/workflows/publish-sdkman.yml

@@ -24,7 +24,7 @@ on:
       CONSUMER-KEY:
         required: true
       CONSUMER-TOKEN:
-        required: true
+        required: true 
 
 env:
   RELEASE-URL: 'https://github.com/scala/scala3/releases/download/${{ inputs.version }}'
@@ -54,7 +54,7 @@ jobs:
           VERSION        : ${{ inputs.version }}
           URL            : '${{ env.RELEASE-URL }}/${{ matrix.archive }}'
           PLATFORM       : ${{ matrix.platform }}
-
+  
   default:
     runs-on: ubuntu-latest
     needs: publish

changelogs/3.7.2-RC1.md

@@ -0,0 +1,156 @@
+# Highlights of the release
+
+- Implement applied constructor types [#22543](https://github.com/scala/scala3/pull/22543)
+- Bump Scala CLI to v1.8.1 (was v1.8.0) [#23334](https://github.com/scala/scala3/pull/23334)
+  - Support for URLs in using file directives
+  - See full [Scala CLI changelog](https://github.com/VirtusLab/scala-cli/releases/tag/v1.8.1)
+
+# Other changes and fixes
+
+## Documentation
+
+- Mark `AnyRef::eq` and `AnyRef::ne` as infix instead of special casing when emitting the warning [#23252](https://github.com/scala/scala3/pull/23252)
+- Mark `eq` and `ne` in Predef as `infix` [#23255](https://github.com/scala/scala3/pull/23255)
+
+## Experimental: Capture Checking
+
+- Allow caps in result types of functions to be mapped to reaches [#23275](https://github.com/scala/scala3/pull/23275)
+- Adapt types according to read-only status [#23332](https://github.com/scala/scala3/pull/23332)
+- Rename `mut` to `update` [#23335](https://github.com/scala/scala3/pull/23335)
+- Change retains annotation from using term arguments to using type arguments [#22909](https://github.com/scala/scala3/pull/22909)
+- New Syntax for Capture Variables and Explicit Capture Polymorphism v3 [#23063](https://github.com/scala/scala3/pull/23063)
+- Fix #23223: Add handling for classes deriving from Capability during Setup [#23248](https://github.com/scala/scala3/pull/23248)
+- Copy `@use` and `@consume` annotations to parameter types [#23324](https://github.com/scala/scala3/pull/23324)
+- Fix handling of `@use` and `@consume` in class parameters [#23342](https://github.com/scala/scala3/pull/23342)
+- Some usability improvements relating to errors [#23370](https://github.com/scala/scala3/pull/23370)
+- Loosen the "does not match previously inferred" criterion [#23067](https://github.com/scala/scala3/pull/23067)
+- Use level checking for Fresh instances [#23101](https://github.com/scala/scala3/pull/23101)
+- Ensure all capture variables carry the attachment [#23162](https://github.com/scala/scala3/pull/23162)
+- Cache ResultCaps [#23198](https://github.com/scala/scala3/pull/23198)
+- Move separation checking to `-source:3.8` [#23249](https://github.com/scala/scala3/pull/23249)
+- Refactorings for CC error reporting [#23260](https://github.com/scala/scala3/pull/23260)
+- Standardize on log-based undo [#23357](https://github.com/scala/scala3/pull/23357)
+- Flag nonsensical capturing types with pure parents as errors [#23367](https://github.com/scala/scala3/pull/23367)
+
+## Experimental: Erased Definitions
+
+- Erased fields are not nullable [#23311](https://github.com/scala/scala3/pull/23311)
+
+## Experimental: Explicit Nulls
+
+- Relax comparison between Null and reference types in explicit nulls [#23308](https://github.com/scala/scala3/pull/23308)
+- Warn about unnecessary uses of .nn [#23327](https://github.com/scala/scala3/pull/23327)
+
+## Experimental: Global Initialization
+
+- Modified abstract domain in global initialization checker [#23138](https://github.com/scala/scala3/pull/23138)
+
+## Experimental: Into Modifier
+
+- Change `into` scheme to be fully type-based [#23014](https://github.com/scala/scala3/pull/23014)
+
+## Implicits
+
+- Try extensions for arguments with type mismatch error [#23212](https://github.com/scala/scala3/pull/23212)
+
+## Linting
+
+- Improve checking LHS of Assign [#22977](https://github.com/scala/scala3/pull/22977)
+- Remove premature caching of lookups for unused lint [#22982](https://github.com/scala/scala3/pull/22982)
+- Enclosing package p.q not visible as q [#23069](https://github.com/scala/scala3/pull/23069)
+- Mention extension in unused param warning [#23132](https://github.com/scala/scala3/pull/23132)
+- Improve Unit ascription escape hatch [#23147](https://github.com/scala/scala3/pull/23147)
+- Dealias for unused param check [#23256](https://github.com/scala/scala3/pull/23256)
+- Take inferred or explicit refinement result for unused check [#23325](https://github.com/scala/scala3/pull/23325)
+- Nowarn receiver of extension taking params [#23351](https://github.com/scala/scala3/pull/23351)
+- Improved edit span for import [#23083](https://github.com/scala/scala3/pull/23083)
+
+## Parser
+
+- Fix incorrect warning with -no-indent [#23216](https://github.com/scala/scala3/pull/23216)
+- Patvar: adjust caret in error message [#23115](https://github.com/scala/scala3/pull/23115)
+- Disallow empty parameter clauses in `extension` definition [#23143](https://github.com/scala/scala3/pull/23143)
+
+## Pattern Matching
+
+- Improve GADT reasoning for pattern alternatives [#23205](https://github.com/scala/scala3/pull/23205)
+
+## Pickling
+
+- Try to handle SkolemTypes in SingletonTypeTree during pickling [#23236](https://github.com/scala/scala3/pull/23236)
+- Avoid creating constructors where not warranted [#23178](https://github.com/scala/scala3/pull/23178)
+
+## Presentation Compiler
+
+- Use untpd.Tree instead of tpd.Tree for SelectionRangeProvider [#22702](https://github.com/scala/scala3/pull/22702)
+- Fix completion mode filtering + optimize scopeCompletions [#23172](https://github.com/scala/scala3/pull/23172)
+- Handle multiple params lists in for infer type [#23197](https://github.com/scala/scala3/pull/23197)
+- Add jpath to VirtualFile (for pc) [#23203](https://github.com/scala/scala3/pull/23203)
+- Add selection ranges for more names [#23257](https://github.com/scala/scala3/pull/23257)
+- Add inlay hints for by-name parameters [#23283](https://github.com/scala/scala3/pull/23283)
+- Implement code action 'convert to named lambda parameters' [#22799](https://github.com/scala/scala3/pull/22799)
+- Buffix: Make PC actions work for re-exported symbols [#22722](https://github.com/scala/scala3/pull/22722)
+- Bugfix: Fix enumeration issues when Value is imported [#23124](https://github.com/scala/scala3/pull/23124)
+- Bugfix: Check in the collector for empty arrays [#23341](https://github.com/scala/scala3/pull/23341)
+- Bugfix: Don't check scope members if not needed [#23384](https://github.com/scala/scala3/pull/23384)
+- Improvement: Don't dealias named tuples for type hints [#23013](https://github.com/scala/scala3/pull/23013)
+- Improvement: Simplify match types when possible [#23146](https://github.com/scala/scala3/pull/23146)
+- Improvement: Improve efficiency of completions [#23355](https://github.com/scala/scala3/pull/23355)
+- Improvement: Cache compilation on . and don't add CURSOR [#23356](https://github.com/scala/scala3/pull/23356)
+
+## Private Options
+
+- Add an `-Yimplicit-to-given` flag for rewrites to easily test changes in the ecosystem [#22580](https://github.com/scala/scala3/pull/22580)
+- Add `scala.language.2.13` [#23219](https://github.com/scala/scala3/pull/23219)
+
+## Rewrites
+
+- Remove empty parentheses when rewriting implicits to givens [#23339](https://github.com/scala/scala3/pull/23339)
+
+## Quotes
+
+- Preserve implicits in Quotes context [#23263](https://github.com/scala/scala3/pull/23263)
+- Don't StackOverflow when printing RecursiveType structure. [#22859](https://github.com/scala/scala3/pull/22859)
+
+## Reflection
+
+- Forbid `StringConstant(null)` [#23064](https://github.com/scala/scala3/pull/23064)
+
+## Reporting
+
+- Fix incorrect warning on type ascription for backquoted identifiers [#23088](https://github.com/scala/scala3/pull/23088)
+- Improve position of deprecation [#23052](https://github.com/scala/scala3/pull/23052)
+- Have a better error message when context bounds are not allowed [#23190](https://github.com/scala/scala3/pull/23190)
+- Avoid false warning when synthesising deferred givens [#23087](https://github.com/scala/scala3/pull/23087)
+- Fix insufficient number width allocated when using `-print-lines` [#23336](https://github.com/scala/scala3/pull/23336)
+
+## SemanticDB
+
+- Fix SemantiDB production of method signature with shadowed parameters [#23161](https://github.com/scala/scala3/pull/23161)
+- Check if symbol exists before calling methods on it [#23376](https://github.com/scala/scala3/pull/23376)
+
+## Settings
+
+- Filter allowed source versions by import and by settings [#23215](https://github.com/scala/scala3/pull/23215)
+
+## Tooling
+
+- Suggest to add using as a code action [#23079](https://github.com/scala/scala3/pull/23079)
+
+## Transform
+
+- Warn trivial recursion with module prefix [#23278](https://github.com/scala/scala3/pull/23278)
+- Partial function synthesis changesOwner of selector [#23337](https://github.com/scala/scala3/pull/23337)
+
+## Typer
+
+- Compare TypeVar and TypeParamRef in mergeRefinedOrApplied [#23045](https://github.com/scala/scala3/pull/23045)
+- Revert recent changes to opaque type proxy generation [#23059](https://github.com/scala/scala3/pull/23059)
+- Only keep denotation for methods in IntegrateMap [#23226](https://github.com/scala/scala3/pull/23226)
+- Tighten condition when to do SAM type conversion [#23246](https://github.com/scala/scala3/pull/23246)
+- Revert "Make overload pruning based on result types less aggressive (#21744)" in main [#23331](https://github.com/scala/scala3/pull/23331)
+- Tweak parameter dependency test when typing applications [#23346](https://github.com/scala/scala3/pull/23346)
+- Ensure pt span exists in implicitParams migration [#23372](https://github.com/scala/scala3/pull/23372)
+- Check for error before checking members of product type in getUnapplySelectors [#23358](https://github.com/scala/scala3/pull/23358)
+- Synthesise value of `this.type` in `ValueOf` [#23094](https://github.com/scala/scala3/pull/23094)
+- Hide constructor proxies at PostTyper [#23269](https://github.com/scala/scala3/pull/23269)

changelogs/3.7.2-RC2.md

@@ -0,0 +1,21 @@
+# Backported chnages
+
+- Backport "Bump Scala CLI to v1.8.4 (was v1.8.1)" to 3.7.2 [#23547](https://github.com/scala/scala3/pull/23547)
+- Backport "Use result of lambda type of implicit in CheckUnused" to 3.7.2 [#23545](https://github.com/scala/scala3/pull/23545)
+- Backport "Check path of module prefix for tailrec" to 3.7.2 [#23544](https://github.com/scala/scala3/pull/23544)
+- Backport "Fix stale top level synthetic package object being used in later runs" to 3.7.2 [#23543](https://github.com/scala/scala3/pull/23543)
+- Backport "Improve completions when a lot of exports are present" to 3.7.2 [#23542](https://github.com/scala/scala3/pull/23542)
+- Backport "Fix regressions in asSeenFrom introduced in 3.7" [#23442](https://github.com/scala/scala3/pull/23442)
+
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.7.2-RC1..3.7.2-RC2` these are:
+
+```
+    11  Wojciech Mazur
+     1  Guillaume Martres
+     1  Tomasz Godzik
+```