Sync with the stable documentation branch

.github/workflows/test-chocolatey.yml

@@ -21,7 +21,10 @@ on:
 
 env:
   CHOCOLATEY-REPOSITORY: chocolatey-pkgs
-  DOTTY_CI_INSTALLATION: ${{ secrets.GITHUB_TOKEN }}
+  # Controls behaviour of chocolatey{Install,Uninstall}.ps1 scripts
+  # During snapshot releases it uses a different layout and requires access token to GH Actions artifacts
+  # During stable releases it uses publically available archives
+  DOTTY_CI_INSTALLATION: ${{ endsWith(inputs.version, '-SNAPSHOT') && secrets.GITHUB_TOKEN || '' }}
 
 jobs:
   test:

changelogs/3.4.0-RC2.md

@@ -0,0 +1,22 @@
+# Backported fixes
+
+- Fix expandParam's use of argForParam/isArgPrefixOf. [#19412](https://github.com/lampepfl/dotty/pull/19412)
+- Remove ascriptionVarargsUnpacking as we never used it [#19399](https://github.com/lampepfl/dotty/pull/19399)
+- Make explicit arguments for context bounds an error from 3.5 [#19316](https://github.com/lampepfl/dotty/pull/19316)
+- Avoid generating given definitions that loop [#19282](https://github.com/lampepfl/dotty/pull/19282)
+- Turn given loop prevention on for -source future [#19392](https://github.com/lampepfl/dotty/pull/19392)
+- Fix algorithm to prevent recursive givens [#19411](https://github.com/lampepfl/dotty/pull/19411)
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.4.0-RC1..3.4.0-RC2` these are:
+
+```
+    15	Martin Odersky
+     4	Nicolas Stucki
+     3	Paweł Marks
+     1	Dale Wijnand
+     1	Jan Chyb
+```

changelogs/3.4.0-RC3.md

@@ -0,0 +1,17 @@
+# Backported fixes
+
+- Sync language.scala with main and backport "Add tests for context bounds migration" [#19515] (https://github.com/lampepfl/dotty/pull/19515)
+- Handle default implicits to context parameters under -3.4-migration [#19512] (https://github.com/lampepfl/dotty/pull/19512)
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.4.0-RC2..3.4.0-RC3` these are:
+
+```
+     4	Paweł Marks
+     1	Martin Odersky
+     1	Nicolas Stucki
+
+```

changelogs/3.4.0-RC4.md

@@ -0,0 +1,14 @@
+# Backported fixes
+
+- Update jsoup dependency of Scaladoc to 7.2 [#19584](https://github.com/lampepfl/dotty/pull/19584)
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.4.0-RC3..3.4.0-RC4` these are:
+
+```
+     2	Paweł Marks
+     1	Fabián Heredia Montiel
+```

changelogs/3.4.1-RC1.md

@@ -0,0 +1,190 @@
+# Highlights of the release
+
+- Add support for `@deprecatedInheritance` [#19082](https://github.com/lampepfl/dotty/pull/19082)
+- Avoid generating given definitions that loop [#19282](https://github.com/lampepfl/dotty/pull/19282)
+
+# Other changes and fixes
+
+## Coverage
+
+- Correctly prettify names in coverage info [#18542](https://github.com/lampepfl/dotty/pull/18542)
+
+## Desugaring
+
+- Make apply proxies work with overloaded ctors [#19464](https://github.com/lampepfl/dotty/pull/19464)
+- Fix possible crash in Desugar [#19567](https://github.com/lampepfl/dotty/pull/19567)
+
+## Documentation
+
+- Update `private[this]` deprecation warning and documentation [#19393](https://github.com/lampepfl/dotty/pull/19393)
+
+## Erasure
+
+- Make eraseInfo work for classes with EmptyScopes [#19550](https://github.com/lampepfl/dotty/pull/19550)
+
+## Exports
+
+- Do not propagate `@tailrec` to exported methods [#19509](https://github.com/lampepfl/dotty/pull/19509)
+- Fix retained flags in exports [#19636](https://github.com/lampepfl/dotty/pull/19636)
+
+## GADTs
+
+- Only cache base types when gadt state is empty [#19562](https://github.com/lampepfl/dotty/pull/19562)
+
+## Implicits
+
+- Run CheckStatic after UncacheGivenAliases [#19318](https://github.com/lampepfl/dotty/pull/19318)
+- Add tests to verify that crash is fixed elsewhere. Fixes #19328 [#19329](https://github.com/lampepfl/dotty/pull/19329)
+- Don't search for implicit conversions to NoType [#19563](https://github.com/lampepfl/dotty/pull/19563)
+- Instantiate argument type vars before implicit search [#19096](https://github.com/lampepfl/dotty/pull/19096)
+
+## Java Interop
+
+- Classfile reader: handle JDK 9+ constant types in constant pool [#19533](https://github.com/lampepfl/dotty/pull/19533)
+
+## Linting
+
+- Make fatal warnings not fail compilation early & aggregate warns [#19245](https://github.com/lampepfl/dotty/pull/19245)
+
+## Macro Annotations
+
+- Check and enter missing symbols in MacroAnnotations only for definitions [#19579](https://github.com/lampepfl/dotty/pull/19579)
+
+## Match Types
+
+- Normalize MatchAlias in unrollTupleTypes [#19565](https://github.com/lampepfl/dotty/pull/19565)
+- Fix #19445: Remove too-strict test in match type matching. [#19511](https://github.com/lampepfl/dotty/pull/19511)
+
+## Opaque Types
+
+- Fix problems with cycle checks [#19453](https://github.com/lampepfl/dotty/pull/19453)
+
+## Parser
+
+- Fix(#18265): crash on extension method without type nor RHS [#18743](https://github.com/lampepfl/dotty/pull/18743)
+- Warn when @volatile is used on vals [#19462](https://github.com/lampepfl/dotty/pull/19462)
+- Fix(#16459) xml parse regression [#19531](https://github.com/lampepfl/dotty/pull/19531)
+
+## Pattern Matching
+
+- Fix false unreachable due to opaqueness [#19368](https://github.com/lampepfl/dotty/pull/19368)
+- Improve recursive decompose prefix fix [#19375](https://github.com/lampepfl/dotty/pull/19375)
+- Allow constraining a parameter to Nothing [#19397](https://github.com/lampepfl/dotty/pull/19397)
+- Add a test case, proving i15661 is fixed [#19432](https://github.com/lampepfl/dotty/pull/19432)
+
+## Presentation Compiler
+
+- Improvement: Support completions for implicit classes [#19314](https://github.com/lampepfl/dotty/pull/19314)
+- Chore: Backport changes from Metals [#19410](https://github.com/lampepfl/dotty/pull/19410)
+- Fix goto-def on exported forwarders [#19494](https://github.com/lampepfl/dotty/pull/19494)
+- Backport pc changes from metals [#19617](https://github.com/lampepfl/dotty/pull/19617)
+- Chore: Backport changes from Metals [#19592](https://github.com/lampepfl/dotty/pull/19592)
+- Use comma counting for all signature help types [#19520](https://github.com/lampepfl/dotty/pull/19520)
+- Make PC more resilient to crashes [#19488](https://github.com/lampepfl/dotty/pull/19488)
+- Make order of renames and missing imports deterministic [#19468](https://github.com/lampepfl/dotty/pull/19468)
+- Chore: backport changes from metals [#19452](https://github.com/lampepfl/dotty/pull/19452)
+- Improve signature help by more stable position calculation + better named arg support [#19214](https://github.com/lampepfl/dotty/pull/19214)
+- Instantiate Type Vars in completion labels of extension methods [#18914](https://github.com/lampepfl/dotty/pull/18914)
+
+## Quotes
+
+- Only evaluate transparent inline unapply once [#19380](https://github.com/lampepfl/dotty/pull/19380)
+- Update `staging.Compiler.make` documentation [#19428](https://github.com/lampepfl/dotty/pull/19428)
+- Error instead of StaleSymbol crash for certain cyclic macro dependencies [#19549](https://github.com/lampepfl/dotty/pull/19549)
+- Refine handling of StaleSymbol type errors [#19605](https://github.com/lampepfl/dotty/pull/19605)
+- Fix module symbol recovery from `NoClassDefFoundError` [#19645](https://github.com/lampepfl/dotty/pull/19645)
+- Fix HOAS pattern example and error message [#19655](https://github.com/lampepfl/dotty/pull/19655)
+- Set the correct type when copying reflect Inlined trees [#19409](https://github.com/lampepfl/dotty/pull/19409)
+
+## Reporting
+
+- Don't explain erroneous bounds [#19338](https://github.com/lampepfl/dotty/pull/19338)
+- Better error diagnostics for cyclic references [#19408](https://github.com/lampepfl/dotty/pull/19408)
+- Properly identify empty bounds in error message [#19310](https://github.com/lampepfl/dotty/pull/19310)
+
+## Scala-JS
+
+- Fix #19528: Actually remove Dynamic from interfaces of native JS classes. [#19536](https://github.com/lampepfl/dotty/pull/19536)
+- Consider static and non-static methods as non-double def [#19400](https://github.com/lampepfl/dotty/pull/19400)
+
+## Scaladoc
+
+- Scaladoc - add option for dynamic side menu [#19337](https://github.com/lampepfl/dotty/pull/19337)
+- Scaladoc: Fix "case case Foo" in enum's cases [#19519](https://github.com/lampepfl/dotty/pull/19519)
+- Fix(#19377): show inherited abstract members in dedicated section [#19552](https://github.com/lampepfl/dotty/pull/19552)
+- Jsoup: 1.14.3 → 1.17.2 [#19564](https://github.com/lampepfl/dotty/pull/19564)
+- Extend copyright into 2024 [#19367](https://github.com/lampepfl/dotty/pull/19367)
+
+## Tooling
+
+- Prioritize TASTy files over classfiles on classpath aggregation [#19431](https://github.com/lampepfl/dotty/pull/19431)
+
+## Transform
+
+- Fix purity check for val inside of object [#19598](https://github.com/lampepfl/dotty/pull/19598)
+- Drop special treatment of function types in overloading resolution [#19654](https://github.com/lampepfl/dotty/pull/19654)
+- Add checks for the consistency of the parents in TreeChecker [#18935](https://github.com/lampepfl/dotty/pull/18935)
+
+## Type Inference
+
+- More careful type variable instance improvements [#19659](https://github.com/lampepfl/dotty/pull/19659)
+
+## Typer
+
+- Reject wildcard types in using clauses [#19459](https://github.com/lampepfl/dotty/pull/19459)
+- Don't leave underspecified SAM types in the code [#19461](https://github.com/lampepfl/dotty/pull/19461)
+- Also compute base classes of wildcardTypes [#19465](https://github.com/lampepfl/dotty/pull/19465)
+- Fix(#15784): ident rule for pat match  was too strict [#19501](https://github.com/lampepfl/dotty/pull/19501)
+- Heal occurrences of => T between ElimByName and Erasure [#19558](https://github.com/lampepfl/dotty/pull/19558)
+- Fix(#i18645): overload ext method body in braces didn't compile [#19651](https://github.com/lampepfl/dotty/pull/19651)
+- Fix #19202: Passing NotNullInfos to a mutable field of a Completer [#19463](https://github.com/lampepfl/dotty/pull/19463)
+- Fix Java record problems (#19578) and (#19386) [#19583](https://github.com/lampepfl/dotty/pull/19583)
+- Improve when deprecation warnings are emitted [#19621](https://github.com/lampepfl/dotty/pull/19621)
+- Space: Replace showType & make Space Showable [#19370](https://github.com/lampepfl/dotty/pull/19370)
+
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.4.0..3.4.1-RC1` these are:
+
+```
+    53	Martin Odersky
+    53	Nicolas Stucki
+    20	Dale Wijnand
+    11	Szymon Rodziewicz
+    11	i10416
+     7	noti0na1
+     6	Yilin Wei
+     4	Hamza REMMAL
+     4	Jędrzej Rochala
+     3	Eugene Flesselle
+     3	Paweł Marks
+     3	Seth Tisue
+     2	Florian3k
+     2	Hamza Remmal
+     2	Jan Chyb
+     2	Katarzyna Marek
+     2	Sébastien Doeraene
+     2	Tomasz Godzik
+     2	dependabot[bot]
+     1	Bersier
+     1	Fabián Heredia Montiel
+     1	Jakub Ciesluk
+     1	Jakub Cieśluk
+     1	Kacper Korban
+     1	Kenji Yoshida
+     1	Mehdi Alaoui
+     1	Nikita Gazarov
+     1	Oron Port
+     1	Pascal Weisenburger
+     1	Philippus Baalman
+     1	Quentin Bernet
+     1	Som Snytt
+     1	Wojciech Mazur
+     1	Yichen Xu
+     1	aherlihy
+     1	rochala
+
+```

changelogs/3.4.1-RC2.md

@@ -0,0 +1,18 @@
+# Backported fixes
+
+- Adjust owner in Interactive.contextOfPath causing crash in ImplicitSearch [#19875](https://github.com/lampepfl/dotty/pull/19875)
+- Add GADT symbols when typing typing-ahead lambda bodies[#19644](https://github.com/lampepfl/dotty/pull/19644)
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.4.1-RC1..3.4.1-RC2` these are:
+
+```
+     4	Hamza REMMAL
+     2	Dale Wijnand
+     2	Paweł Marks
+     1	Jędrzej Rochala
+
+```