[chore] Sync language-reference-stable with release 3.7.1 (#23307)

Author: WojciechMazur

.git-blame-ignore-revs

@@ -0,0 +1 @@
+46a26945a172429740ebdd1fc83517130670080b

.github/workflows/ci.yaml

@@ -692,7 +692,7 @@ jobs:
       - name: Publish Nightly
         if: "steps.not_yet_published.outcome == 'success'"
         run: |
-          ./project/scripts/sbtPublish ";project scala3-bootstrapped ;publishSigned ;sonatypeBundleRelease"
+          ./project/scripts/sbtPublish ";project scala3-bootstrapped ;publishSigned ;sonaRelease"
 
   nightly_documentation:
     runs-on: [self-hosted, Linux]
@@ -862,7 +862,7 @@ jobs:
           scala3-${{ env.RELEASE_TAG }}.msi 
 
       - name: Publish Release
-        run: ./project/scripts/sbtPublish ";project scala3-bootstrapped ;publishSigned ;sonatypeBundleUpload"
+        run: ./project/scripts/sbtPublish ";project scala3-bootstrapped ;publishSigned ;sonaUpload"
 
 
   open_issue_on_failure:

.github/workflows/lts-backport.yaml

@@ -7,7 +7,8 @@ on:
 
 jobs:
   add-to-backporting-project:
-    if: "!contains(github.event.push.head_commit.message, '[Next only]')"
+    if: "!contains(github.event.push.head_commit.message, '[Next only]') &&
+         github.repository == 'scala/scala3'"
     runs-on: ubuntu-latest
 
     steps:

.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 }}'
@@ -46,15 +46,15 @@ jobs:
           - platform: WINDOWS_64
             archive : 'scala3-${{ inputs.version }}-x86_64-pc-win32.zip'
     steps:
-      - uses: sdkman/sdkman-release-action@a60691d56279724b4c9ff0399c0ae21d641ab75e
+      - uses: sdkman/sdkman-release-action@2800d4359ae097a99afea7e0370f0c6e726182a4
         with:
           CONSUMER-KEY   : ${{ secrets.CONSUMER-KEY }}
           CONSUMER-TOKEN : ${{ secrets.CONSUMER-TOKEN }}
           CANDIDATE      : scala
           VERSION        : ${{ inputs.version }}
           URL            : '${{ env.RELEASE-URL }}/${{ matrix.archive }}'
           PLATFORM       : ${{ matrix.platform }}
-  
+
   default:
     runs-on: ubuntu-latest
     needs: publish

.jvmopts

@@ -1,5 +1,5 @@
 -Xss1m
--Xms512m
--Xmx4096m
+-Xms1024m
+-Xmx8192m
 -XX:MaxInlineLevel=35
 -XX:ReservedCodeCacheSize=512m

changelogs/3.7.1-RC1.md

@@ -0,0 +1,157 @@
+# Highlights of the release
+
+- Support for JDK 25 [#23004](https://github.com/scala/scala3/pull/23004)
+- Warn if interpolator uses toString [#20578](https://github.com/scala/scala3/pull/20578)
+- Warn if match in block is not used for PartialFunction [#23002](https://github.com/scala/scala3/pull/23002)
+
+# Other changes and fixes
+
+## Annotations
+
+- Approximate annotated types in `wildApprox` [#22893](https://github.com/scala/scala3/pull/22893)
+- Keep unused annot on params [#23037](https://github.com/scala/scala3/pull/23037)
+
+## Erasure
+
+- Disallow context function types as value-class parameters [#23015](https://github.com/scala/scala3/pull/23015)
+
+## Experimental: Capture Checking
+
+- Two fixes to handling of abstract types with cap bounds [#22838](https://github.com/scala/scala3/pull/22838)
+- Drop idempotent type maps [#22910](https://github.com/scala/scala3/pull/22910)
+- Fix setup of class constructors [#22980](https://github.com/scala/scala3/pull/22980)
+
+## Named Tuples
+
+- Call dealias after stripping type variables for tupleElementTypesUpTo [#23005](https://github.com/scala/scala3/pull/23005)
+- Avoid loosing denotations of named types during `integrate` [#22839](https://github.com/scala/scala3/pull/22839)
+
+## Experimental: Unroll
+
+- Fix #22833: allow unroll annotation in methods of final class [#22926](https://github.com/scala/scala3/pull/22926)
+
+## Experimental: Referencable Package Objects
+
+- Add experimental.packageObjectValues language setting [#23001](https://github.com/scala/scala3/pull/23001)
+
+## Exports
+
+- Respect export alias for default arg forwarder [#21109](https://github.com/scala/scala3/pull/21109)
+
+## Extension Methods
+
+- Extension check checks for no parens not empty parens [#22825](https://github.com/scala/scala3/pull/22825)
+
+## GADTs
+
+- Fix: Prevent GADT reasoning in pattern alternatives [#22853](https://github.com/scala/scala3/pull/22853)
+
+## Linting
+
+- Dealias when looking into imports [#22889](https://github.com/scala/scala3/pull/22889)
+- Process Export for unused check [#22984](https://github.com/scala/scala3/pull/22984)
+- Drill into QuotePattern bindings symbol info [#22987](https://github.com/scala/scala3/pull/22987)
+- No warn implicit param of overriding method [#22901](https://github.com/scala/scala3/pull/22901)
+- No warn for evidence params of marker traits such as NotGiven [#22985](https://github.com/scala/scala3/pull/22985)
+
+## Initialization
+
+- Check for tasty error in template trees. [#22867](https://github.com/scala/scala3/pull/22867)
+
+## Metaprogramming: Compile-time
+
+- Fix issue with certain synthetics missing in compiletime.typechecks [#22978](https://github.com/scala/scala3/pull/22978)
+
+## Pattern Matching
+
+- Fix existing GADT constraints with introduced pattern-bound symbols [#22928](https://github.com/scala/scala3/pull/22928)
+
+## Pickling
+
+- Fix fromProduct synthesized code for parameter-dependent case classes [#22961](https://github.com/scala/scala3/pull/22961)
+
+## Presentation Compiler
+
+- Completions for requests just before string [#22894](https://github.com/scala/scala3/pull/22894)
+- Fix: go to def should lead to all: apply, object and class [#22771](https://github.com/scala/scala3/pull/22771)
+- Ignore ending `$` when looking at end marker names [#22798](https://github.com/scala/scala3/pull/22798)
+- Feature: Skip auto importing symbols we know are wrong in current context [#22813](https://github.com/scala/scala3/pull/22813)
+- Show the Autofill completion case as what would be auto-filled [#22819](https://github.com/scala/scala3/pull/22819)
+- Bugfix: Fix issues with annotations not detected [#22878](https://github.com/scala/scala3/pull/22878)
+- Improvement: Rework IndexedContext to reuse the previously calculated scopes [#22898](https://github.com/scala/scala3/pull/22898)
+- Pc: Properly adjust indentation when inlining blocks [#22915](https://github.com/scala/scala3/pull/22915)
+- Improvement: Support using directives in worksheets [#22957](https://github.com/scala/scala3/pull/22957)
+- Fix: show hover for synthetics if explicitly used [#22973](https://github.com/scala/scala3/pull/22973)
+- Pc: fix: inline value when def indentation equals 2 [#22990](https://github.com/scala/scala3/pull/22990)
+
+## Rewrites
+
+- Fix insertion of `using` in applications with trailing lambda syntax [#22937](https://github.com/scala/scala3/pull/22937)
+- Test chars safely when highlighting [#22918](https://github.com/scala/scala3/pull/22918)
+
+## Reporting
+
+- Print infix operations in infix form [#22854](https://github.com/scala/scala3/pull/22854)
+
+## Scaladoc
+
+- Chore: add support for 'abstract override' modifier [#22802](https://github.com/scala/scala3/pull/22802)
+- Scaladoc: fix generation of unique header ids [#22779](https://github.com/scala/scala3/pull/22779)
+
+## Typer
+
+- Disallow context bounds in type lambdas [#22659](https://github.com/scala/scala3/pull/22659)
+- Refuse trailing type parameters in extractors [#22699](https://github.com/scala/scala3/pull/22699)
+- Fix #22724: Revert the PolyType case in #21744 [#22820](https://github.com/scala/scala3/pull/22820)
+- Fix isGenericArrayElement for higher-kinded types [#22938](https://github.com/scala/scala3/pull/22938)
+- Tighten condition to preserve denotation in IntegrateMap [#23060](https://github.com/scala/scala3/pull/23060)
+
+## Transform
+
+- Mix in the `productPrefix` hash statically in case class `hashCode` [#22865](https://github.com/scala/scala3/pull/22865)
+
+## Value Classes
+
+- Fix #21918: Disallow value classes extending type aliases of AnyVal [#23021](https://github.com/scala/scala3/pull/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-RC1` these are:
+
+```
+   135  Martin Odersky
+    27  Som Snytt
+    13  Matt Bovel
+    10  Wojciech Mazur
+     9  Hamza Remmal
+     5  Quentin Bernet
+     5  Tomasz Godzik
+     4  aherlihy
+     3  HarrisL2
+     3  Jan Chyb
+     3  Natsu Kagami
+     3  Ondrej Lhotak
+     3  Sébastien Doeraene
+     2  Piotr Chabelski
+     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
+```

changelogs/3.7.1-RC2.md

@@ -0,0 +1,25 @@
+# Backported chnages
+
+- Backport "chore: filter allowed source versions by import and by settings" to 3.7.1 (#23231)
+- Backport "Bump Scala CLI to v1.8.0 (was v1.7.1)" to 3.7.1 (#23230)
+- Backport "Mention extension in unused param warning" to 3.7.1 (#23229)
+- Backport "Revert recent changes to opaque type proxy generation" to 3.7.1 (#23228)
+- Backport "Remove premature caching of lookups for unused lint" to 3.7.1 (#23227)
+
+# Reverted changes
+
+- Revert "Make overload pruning based on result types less aggressive (#21744)" in 3.7.1-RC2 (#23239)
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.7.1-RC1..3.7.1-RC2` these are:
+
+```
+     4  Hamza Remmal
+     4  Som Snytt
+     3  Jan Chyb
+     3  Wojciech Mazur
+     1  Piotr Chabelski
+```