Resolve conflicts between stable documentation and main

changelogs/3.2.1-RC1.md

@@ -0,0 +1,189 @@
+# Highlights of the release
+
+- Add experimental capture checking [#15877](https://github.com/lampepfl/dotty/pull/15877)
+- Scaladoc: New UI design [#15697](https://github.com/lampepfl/dotty/pull/15697)
+
+# Other changes and fixes
+
+## Backend
+
+- Set ACC_FINAL access flag to final variable accessors [#15707](https://github.com/lampepfl/dotty/pull/15707)
+
+## Coverage
+
+- Avoid instrumentation of inline and erased definitions [#15504](https://github.com/lampepfl/dotty/pull/15504)
+
+## Erasure
+
+- Fix #15199: Exclude JavaDefined Modules from bridge generation. [#15499](https://github.com/lampepfl/dotty/pull/15499)
+
+## Extension Methods
+
+- Merge nested polytypes in more cases in resolveOverloaded [#15636](https://github.com/lampepfl/dotty/pull/15636)
+
+## GADTs
+
+- Fix GADT casting when typing if expressions [#15646](https://github.com/lampepfl/dotty/pull/15646)
+- Use GADT constraints in maximiseType [#15544](https://github.com/lampepfl/dotty/pull/15544)
+- Add the expected type to Poly's desugaring [#15570](https://github.com/lampepfl/dotty/pull/15570)
+- Allow refineUsingParent to infer GADT bounds [#15706](https://github.com/lampepfl/dotty/pull/15706)
+- Avoid leaking internal types in GadtConstraint.approximation [#15558](https://github.com/lampepfl/dotty/pull/15558)
+- Improve GADT usage tracing for MatchType reduction [#15872](https://github.com/lampepfl/dotty/pull/15872)
+- Add `gadtAddBound` to ExplainingTypeComparer tracing [#15819](https://github.com/lampepfl/dotty/pull/15819)
+
+## IDE Support
+
+- Recover from TypeErrors in isErroneous [#15442](https://github.com/lampepfl/dotty/pull/15442)
+- Add a guard against empty ident [#15542](https://github.com/lampepfl/dotty/pull/15542)
+
+## Initialization
+
+- Fix #15465: Use resolveThis for outerSelect resolution [#15606](https://github.com/lampepfl/dotty/pull/15606)
+- Fix #15459: Display uninitialized fields in promotion error [#15488](https://github.com/lampepfl/dotty/pull/15488)
+- Fix #15363: Improve error messages for leaking of this [#15364](https://github.com/lampepfl/dotty/pull/15364)
+- Make sure inner classes are checked first [#15527](https://github.com/lampepfl/dotty/pull/15527)
+- Handle super accessors in initialization checker [#15703](https://github.com/lampepfl/dotty/pull/15703)
+
+## Inline
+
+- Check is inline unapply has leading implicits [#15583](https://github.com/lampepfl/dotty/pull/15583)
+- Fix #15374: Make sure prefix of outer select has the correct class symbol [#15592](https://github.com/lampepfl/dotty/pull/15592)
+
+## Java Interoperability
+
+- Don't check import selectors for Java code [#15617](https://github.com/lampepfl/dotty/pull/15617)
+
+## JS Interoperability
+
+- Fix #15701: Implement js.dynamicImport for dynamic module loading. [#15720](https://github.com/lampepfl/dotty/pull/15720)
+- Implement support for js.`new`.target. [#15734](https://github.com/lampepfl/dotty/pull/15734)
+- Fix #14488: Scala.js: Add compiler support for scala.Enumeration. [#15770](https://github.com/lampepfl/dotty/pull/15770)
+
+## Match Types
+
+- Avoid null types when reducing match types [#15748](https://github.com/lampepfl/dotty/pull/15748)
+- Avoid references to unbound parameters in applied type patterns [#15710](https://github.com/lampepfl/dotty/pull/15710)
+
+## Nullability
+
+- Fix checking ctx to carry correct modes [#15350](https://github.com/lampepfl/dotty/pull/15350)
+
+## Pattern Matching
+
+- Teach provablyDisjoint to handle FromJavaObject [#15769](https://github.com/lampepfl/dotty/pull/15769)
+- Don't trust case class extractors with explicit type arguments [#15669](https://github.com/lampepfl/dotty/pull/15669)
+- Space: Fix how sealed abstract classes decompose [#15553](https://github.com/lampepfl/dotty/pull/15553)
+- Local classes are uncheckable (type tests) [#15134](https://github.com/lampepfl/dotty/pull/15134)
+- Fix ValDef span assignment in PatternMatcher [#15783](https://github.com/lampepfl/dotty/pull/15783)
+- Reject all explicitly written type references with bad bounds [#15577](https://github.com/lampepfl/dotty/pull/15577)
+
+## Pickling
+
+- Make simplify replace type parameters inside method types [#15430](https://github.com/lampepfl/dotty/pull/15430)
+
+## Quotes
+
+- Ignore types in macro runtime dependencies [#15529](https://github.com/lampepfl/dotty/pull/15529)
+
+## REPL
+
+- ReplDriver.run and :load take complete input [#15811](https://github.com/lampepfl/dotty/pull/15811)
+- REPL goes through a phase [#15663](https://github.com/lampepfl/dotty/pull/15663)
+- Avoid assertion failure for illegal trait inheritance [#15631](https://github.com/lampepfl/dotty/pull/15631)
+
+## Reporting
+
+- Underline assignment correctly in error message [#15584](https://github.com/lampepfl/dotty/pull/15584)
+- Better error message for "implicit search must be more specific"  [#15747](https://github.com/lampepfl/dotty/pull/15747)
+- Provide better info on compiler crashes [#15890](https://github.com/lampepfl/dotty/pull/15890)
+
+## SemanticDB
+
+- Handle colons in file names when producing SemanticDB [#15863](https://github.com/lampepfl/dotty/pull/15863)
+
+## Standard Library
+
+- Fix `throwReturn` of `NonLocalReturns` to allow wider usage [#15495](https://github.com/lampepfl/dotty/pull/15495)
+
+## Tooling
+
+- Fix scala runner exit codes [#15604](https://github.com/lampepfl/dotty/pull/15604)
+- Command line parser respects outer escaped quote [#15497](https://github.com/lampepfl/dotty/pull/15497)
+- Added quotes to Scala home paths in scala and scalac scripts [#15824](https://github.com/lampepfl/dotty/pull/15824)
+- Retain partial type params typying information on error [#15825](https://github.com/lampepfl/dotty/pull/15825)
+
+## Transform
+
+- Implementation restriction: No partial functions with CFT results [#15744](https://github.com/lampepfl/dotty/pull/15744)
+- Fix treatment of parameter selections via this in constructors. [#15737](https://github.com/lampepfl/dotty/pull/15737)
+- Fix expansion and unexpansion of mixin qualified names [#15712](https://github.com/lampepfl/dotty/pull/15712)
+- Fix #15514 in Parser [#15524](https://github.com/lampepfl/dotty/pull/15524)
+- Check type arguments for bad bounds [#15571](https://github.com/lampepfl/dotty/pull/15571)
+
+## Typer
+
+- Fix swapKey [#15894](https://github.com/lampepfl/dotty/pull/15894)
+- Insert GADT casts for needy match types [#15851](https://github.com/lampepfl/dotty/pull/15851)
+- Add missing dealias in isContextFunctionRef [#15742](https://github.com/lampepfl/dotty/pull/15742)
+- Look for synthetic applies also under type applications [#15572](https://github.com/lampepfl/dotty/pull/15572)
+- Optimize isSameType for invariant applied types with the same structure [#15556](https://github.com/lampepfl/dotty/pull/15556)
+- Fix cycle detection for type aliases with wildcard arguments [#15508](https://github.com/lampepfl/dotty/pull/15508)
+- Handle recursions in isFullyDefined [#15443](https://github.com/lampepfl/dotty/pull/15443)
+- Do level checking on instantiation [#15746](https://github.com/lampepfl/dotty/pull/15746)
+- Use fullyDefinedType for mirror synthesis [#15814](https://github.com/lampepfl/dotty/pull/15814)
+- Instantiate more type variables to hard unions [#15632](https://github.com/lampepfl/dotty/pull/15632)
+- Simplify level fixing scheme [#15936](https://github.com/lampepfl/dotty/pull/15936)
+- Don't normalize in `AppliedType#superType` [#15453](https://github.com/lampepfl/dotty/pull/15453)
+- Try promotion while widening arguments [#15467](https://github.com/lampepfl/dotty/pull/15467)
+- Check import selectors at Typer [#15477](https://github.com/lampepfl/dotty/pull/15477)
+- Turn some calls to `underlying` into `superType`. [#15455](https://github.com/lampepfl/dotty/pull/15455)
+- Find more looping implicits [#15481](https://github.com/lampepfl/dotty/pull/15481)
+- Fix `findFunctionType` for `OrTypes` [#15478](https://github.com/lampepfl/dotty/pull/15478)
+- Fix looping implicits check [#15655](https://github.com/lampepfl/dotty/pull/15655)
+- Try to avoid static symbols if leaving them would make a leak [#15548](https://github.com/lampepfl/dotty/pull/15548)
+- Do not fold `IsConst` applied to dependent parameters [#15759](https://github.com/lampepfl/dotty/pull/15759)
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.1.3..3.2.0` these are:
+
+```
+   204 Martin Odersky
+    94 Filip Łukasik
+    69 Fengyun Liu
+    57 Filip Zybała
+    31 Dale Wijnand
+    14 Sébastien Doeraene
+    10 Guillaume Raffin
+     9 rochala
+     8 Chris Kipp
+     8 Paweł Marks
+     8 Som Snytt
+     7 Jędrzej Rochala
+     7 Nicolas Stucki
+     7 Yichen Xu
+     6 Jamie Thompson
+     6 Tom Grigg
+     5 noti0na1
+     2 Arman Bilge
+     2 Kacper Korban
+     2 Matt Bovel
+     2 Ondrej Lhotak
+     2 Quentin Bernet
+     2 Tomasz Godzik
+     1 Adrien Piquerez
+     1 Florian3k
+     1 Gagandeep Kalra
+     1 Jentsch
+     1 Kieren Davies
+     1 Michał Pałka
+     1 Naveen
+     1 Oron Port
+     1 Rubin Simons
+     1 Seth Tisue
+     1 Wojciech Mazur
+     1 esteban marin
+     1 naveen
+```

changelogs/3.2.1-RC2.md

@@ -0,0 +1,18 @@
+# Backported fixes
+
+- Only look for synthetic applies under `TypeApply` with inferred arguments [#15970](https://github.com/lampepfl/dotty/pull/15970)
+- Improvements for implicit searches with top-level type variables [#16001](https://github.com/lampepfl/dotty/pull/16001)
+- Better types for class type parameters [#15951](https://github.com/lampepfl/dotty/pull/15951)
+- Avoid adding `NoSymbol` to gadt constraints in `TypeOps.instantiateToSubType` [#15965](https://github.com/lampepfl/dotty/pull/15965)
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.2.1-RC1..3.2.1-RC2` these are:
+
+```
+     7  Martin Odersky
+     3  Kacper Korban
+     2  Paweł Marks
+```

changelogs/3.2.1-RC3.md

@@ -0,0 +1,16 @@
+# Backported fixes
+
+- Fix tuple casting [#16113](https://github.com/lampepfl/dotty/pull/16113)
+- Be even more careful when combining argument and info in `computeAsSeenFrom` [#16070](https://github.com/lampepfl/dotty/pull/16070)
+- Be still more careful when computing denotations of class parameters [#16112](https://github.com/lampepfl/dotty/pull/16112)
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.2.1-RC2..3.2.1-RC3` these are:
+
+```
+     4  Martin Odersky
+     2  Paweł Marks
+```

changelogs/3.2.1-RC4.md

@@ -0,0 +1,14 @@
+# Backported fixes
+
+- Update Scala 2 library dependency to 2.13.10 [#16074](https://github.com/lampepfl/dotty/pull/16074)
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.2.1-RC3..3.2.1-RC4` these are:
+
+```
+     2  Paweł Marks
+     1  Seth Tisue
+```