Skip to content

[chore] Synchronize with language-reference-stable after release 3.6.4 #22747

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Mar 8, 2025
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
466 changes: 466 additions & 0 deletions changelogs/3.4.0-RC1.md

Large diffs are not rendered by default.

22 changes: 22 additions & 0 deletions changelogs/3.4.0-RC2.md
Original file line number Diff line number Diff line change
@@ -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
```
17 changes: 17 additions & 0 deletions changelogs/3.4.0-RC3.md
Original file line number Diff line number Diff line change
@@ -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

```
14 changes: 14 additions & 0 deletions changelogs/3.4.0-RC4.md
Original file line number Diff line number Diff line change
@@ -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
```
474 changes: 474 additions & 0 deletions changelogs/3.4.0.md

Large diffs are not rendered by default.

190 changes: 190 additions & 0 deletions changelogs/3.4.1-RC1.md
Original file line number Diff line number Diff line change
@@ -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

```
18 changes: 18 additions & 0 deletions changelogs/3.4.1-RC2.md
Original file line number Diff line number Diff line change
@@ -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

```
Loading