|
| 1 | +# Highlights of the release |
| 2 | + |
| 3 | +- Add sources of synthetic classes to sources jar [#20904](https://github.com/lampepfl/dotty/pull/20904) |
| 4 | + |
| 5 | +# Other changes and fixes |
| 6 | + |
| 7 | +## Annotations |
| 8 | + |
| 9 | +- Preventing compilation of a @tailrec method when it does not rewrite, but an inner method does [#20143](https://github.com/lampepfl/dotty/pull/20143) |
| 10 | +- #20145 - bugfix when a return tailrec is called inside a val def. [#20652](https://github.com/lampepfl/dotty/pull/20652) |
| 11 | + |
| 12 | +## Backend |
| 13 | + |
| 14 | +- Fix EnclosingMethod for lifted anonfun [#20558](https://github.com/lampepfl/dotty/pull/20558) |
| 15 | +- Emit switch bytecode when matching unions of a switchable type [#20411](https://github.com/lampepfl/dotty/pull/20411) |
| 16 | +- Fix deterministically adding additional interfaces [#20593](https://github.com/lampepfl/dotty/pull/20593) |
| 17 | + |
| 18 | +## Documentation |
| 19 | + |
| 20 | +- Avoid jpath in example [#20775](https://github.com/lampepfl/dotty/pull/20775) |
| 21 | +- Chore: Fix doc link in clauseInterleaving docstring [#20590](https://github.com/lampepfl/dotty/pull/20590) |
| 22 | +- Chore: fix doc link in namedTuples docstring [#20770](https://github.com/lampepfl/dotty/pull/20770) |
| 23 | + |
| 24 | +## Erasure |
| 25 | + |
| 26 | +- Don't re-balance AndTypes arising from supertypes [#20400](https://github.com/lampepfl/dotty/pull/20400) |
| 27 | + |
| 28 | +## GADTs |
| 29 | + |
| 30 | +- Harden GADT constraint handling to survive illegal F-bounds [#20325](https://github.com/lampepfl/dotty/pull/20325) |
| 31 | + |
| 32 | +## Inferencing |
| 33 | + |
| 34 | +- Adapt toInstantiate in interpolateTypeVars to consider #20399 [#20426](https://github.com/lampepfl/dotty/pull/20426) |
| 35 | + |
| 36 | +## Infrastructure |
| 37 | + |
| 38 | +- Update `addToBackportingProject.scala` [#20461](https://github.com/lampepfl/dotty/pull/20461) |
| 39 | +- Simple scripts to run non-bootstrapped compiler after 'sbt buildQuick' [#19894](https://github.com/lampepfl/dotty/pull/19894) |
| 40 | +- Bump from 3.4.0 to 3.5.0-RC1 for MiMA [#20404](https://github.com/lampepfl/dotty/pull/20404) |
| 41 | +- Set reference version to 3.5.0-RC4 [#21175](https://github.com/scala/scala3/pull/21175) |
| 42 | +- Bring back windows performance improvements [#20423](https://github.com/lampepfl/dotty/pull/20423) |
| 43 | +- Bump scalacenter/sbt-dependency-submission from 2 to 3 [#20440](https://github.com/lampepfl/dotty/pull/20440) |
| 44 | +- Fix incorrect paths to sha256 check sum files in release workflow [#20709](https://github.com/lampepfl/dotty/pull/20709) |
| 45 | +- Bump VirtusLab/scala-cli-setup from 1.3.2 to 1.4.0 [#20906](https://github.com/lampepfl/dotty/pull/20906) |
| 46 | + |
| 47 | +## Inline |
| 48 | + |
| 49 | +- Mark genSJSIR as *disabled* (rather than non-*runnable*) when no `-scalajs`. [#20815](https://github.com/lampepfl/dotty/pull/20815) |
| 50 | +- Map over refs of `ImportType`s in `TypeMap` [#20837](https://github.com/lampepfl/dotty/pull/20837) |
| 51 | + |
| 52 | +## Initialization |
| 53 | + |
| 54 | +- More principled filtering of abstract values in initialization check [#20548](https://github.com/lampepfl/dotty/pull/20548) |
| 55 | + |
| 56 | +## Match Types |
| 57 | + |
| 58 | +- TryCompiletimeConstantFold in disjointnessBoundary [#20168](https://github.com/lampepfl/dotty/pull/20168) |
| 59 | + |
| 60 | +## Opaque Types |
| 61 | + |
| 62 | +- Heal member-select on opaque reference [#19730](https://github.com/lampepfl/dotty/pull/19730) |
| 63 | + |
| 64 | +## Pattern Matching |
| 65 | + |
| 66 | +- Fix #20372: Check pattern match exhaustivity in inlined code [#20403](https://github.com/lampepfl/dotty/pull/20403) |
| 67 | + |
| 68 | +## Presentation Compiler |
| 69 | + |
| 70 | +- Add pattern completion for unapply contexts [#20274](https://github.com/lampepfl/dotty/pull/20274) |
| 71 | +- Bugfix: Exclude newer LSP4j, which is built on JDK 11 [#20771](https://github.com/lampepfl/dotty/pull/20771) |
| 72 | +- Chore: Bump mtags to latest stable [#20442](https://github.com/lampepfl/dotty/pull/20442) |
| 73 | +- Weekly metals backport [#20542](https://github.com/lampepfl/dotty/pull/20542) |
| 74 | +- Port pc find references from metals [#20544](https://github.com/lampepfl/dotty/pull/20544) |
| 75 | + |
| 76 | +## Quotes |
| 77 | + |
| 78 | +- Add regression test for issue 20309 [#20387](https://github.com/lampepfl/dotty/pull/20387) |
| 79 | + |
| 80 | +## REPL |
| 81 | + |
| 82 | +- Only consider methods with 0 parameters in valueOf [#20543](https://github.com/lampepfl/dotty/pull/20543) |
| 83 | + |
| 84 | +## Reflection |
| 85 | + |
| 86 | +- Fix erasure crash for Inlined rhs of a context function closure [#20398](https://github.com/lampepfl/dotty/pull/20398) |
| 87 | +- Fix #20458: do not expose ClassInfo in quotes reflect widenTermRefByName [#20468](https://github.com/lampepfl/dotty/pull/20468) |
| 88 | + |
| 89 | +## Reporting |
| 90 | + |
| 91 | +- Fix error message on setter with wrong type [#20444](https://github.com/lampepfl/dotty/pull/20444) |
| 92 | +- Add a specific error message for local final defs [#20557](https://github.com/lampepfl/dotty/pull/20557) |
| 93 | +- Explain unresolvable references better [#20477](https://github.com/lampepfl/dotty/pull/20477) |
| 94 | +- Add error code to diagnostics about unused code [#19780](https://github.com/lampepfl/dotty/pull/19780) |
| 95 | +- Better error diagnostics for illegal match cases [#20905](https://github.com/lampepfl/dotty/pull/20905) |
| 96 | + |
| 97 | +## Scaladoc |
| 98 | + |
| 99 | +- Fix handling of right associative extension methods across scaladoc and printers [#20467](https://github.com/lampepfl/dotty/pull/20467) |
| 100 | + |
| 101 | +## Specification |
| 102 | + |
| 103 | +- Add binary lits to syntax summaries [#19551](https://github.com/lampepfl/dotty/pull/19551) |
| 104 | + |
| 105 | +## Settings |
| 106 | + |
| 107 | +- Enhance help message for language flag [#20247](https://github.com/lampepfl/dotty/pull/20247) |
| 108 | +- Accept legacy language features [#20454](https://github.com/lampepfl/dotty/pull/20454) |
| 109 | +- Set default source version to 3.5 [#20435](https://github.com/lampepfl/dotty/pull/20435) |
| 110 | + |
| 111 | +## Tooling |
| 112 | + |
| 113 | +- Improve source positions emited for synthetic unit in if-conditions [#20431](https://github.com/lampepfl/dotty/pull/20431) |
| 114 | +- Adjust the API name entry for nested classes [#20279](https://github.com/lampepfl/dotty/pull/20279) |
| 115 | +- Fix declaring product of straight-to-jar compilation [#20592](https://github.com/lampepfl/dotty/pull/20592) |
| 116 | + |
| 117 | +## Transform |
| 118 | + |
| 119 | +- Correct Java signature for value classes appearing in type arguments [#20463](https://github.com/lampepfl/dotty/pull/20463) |
| 120 | + |
| 121 | +## Typer |
| 122 | + |
| 123 | +- Retry `constraint.replace` after `constraint.updateEntry` [#20399](https://github.com/lampepfl/dotty/pull/20399) |
| 124 | +- Add special handling for comparisons with Singleton types [#20474](https://github.com/lampepfl/dotty/pull/20474) |
| 125 | +- Reinstantiate restriction to transparent inline methods [#20371](https://github.com/lampepfl/dotty/pull/20371) |
| 126 | +- Add regression test for #20288 fixed in #20527 [#20857](https://github.com/lampepfl/dotty/pull/20857) |
| 127 | +- Fix isEffectivelySingleton [#20486](https://github.com/lampepfl/dotty/pull/20486) |
| 128 | +- Fall back to direct subtype comparison at the end in dropIfSuper and dropIfSub [#20523](https://github.com/lampepfl/dotty/pull/20523) |
| 129 | +- Mark AppliedType cachedSuper valid Nowhere when using provisional args [#20527](https://github.com/lampepfl/dotty/pull/20527) |
| 130 | + |
| 131 | +# Experimentqal Changes |
| 132 | + |
| 133 | +## Capture Checking |
| 134 | + |
| 135 | +- Fix soundness hole of forgotten reach capabilities [#20524](https://github.com/lampepfl/dotty/pull/20524) |
| 136 | +- Drop @capability annotations [#20396](https://github.com/lampepfl/dotty/pull/20396) |
| 137 | +- Fix symbol reference retrivial for `scala.caps.Caps` [#20493](https://github.com/lampepfl/dotty/pull/20493) |
| 138 | +- Refactor adaptBoxed [#20525](https://github.com/lampepfl/dotty/pull/20525) |
| 139 | +- Fix error related to reaches when using scala2-library-cc-tasty [#20528](https://github.com/lampepfl/dotty/pull/20528) |
| 140 | + |
| 141 | +## Named tuples |
| 142 | + |
| 143 | +- Make NamedTuple.Empty an alias to NamedTuple [#20502](https://github.com/lampepfl/dotty/pull/20502) |
| 144 | +- Move NamedTuple methods to separate scope. re-export [#20504](https://github.com/lampepfl/dotty/pull/20504) |
| 145 | +- WidenDealias before extracting namedTupleElementTypes [#20505](https://github.com/lampepfl/dotty/pull/20505) |
| 146 | +- Improve type inference for literal named tuples [#20497](https://github.com/lampepfl/dotty/pull/20497) |
| 147 | +- Fix issue #20267 with regression test [#20506](https://github.com/lampepfl/dotty/pull/20506) |
| 148 | +- Only set `AppliedType#validSuper` after `AppliedType#cachedSuper` [#20553](https://github.com/lampepfl/dotty/pull/20553) |
| 149 | +- Fix NamedTuple selection on an unstable prefix [#20455](https://github.com/lampepfl/dotty/pull/20455) |
| 150 | +- Allow `apply` adaptation on Selectable with Fields [#20489](https://github.com/lampepfl/dotty/pull/20489) |
| 151 | + |
| 152 | +# Contributors |
| 153 | + |
| 154 | +Thank you to all the contributors who made this release possible 🎉 |
| 155 | + |
| 156 | +According to `git shortlog -sn --no-merges 3.5.0..3.5.1-RC1` these are: |
| 157 | + |
| 158 | +``` |
| 159 | + 77 Martin Odersky |
| 160 | + 18 Wojciech Mazur |
| 161 | + 17 Hamza REMMAL |
| 162 | + 14 Jamie Thompson |
| 163 | + 13 Eugene Flesselle |
| 164 | + 13 noti0na1 |
| 165 | + 11 Hamza Remmal |
| 166 | + 9 Katarzyna Marek |
| 167 | + 7 Fengyun Liu |
| 168 | + 7 Jan Chyb |
| 169 | + 6 Guillaume Martres |
| 170 | + 5 Dale Wijnand |
| 171 | + 5 Som Snytt |
| 172 | + 4 dependabot[bot] |
| 173 | + 3 Adrien Piquerez |
| 174 | + 3 Derek Wickern |
| 175 | + 3 Matt Bovel |
| 176 | + 3 OlegYch |
| 177 | + 2 Florian3k |
| 178 | + 2 Kacper Korban |
| 179 | + 2 Lucy Martin |
| 180 | + 2 Paweł Marks |
| 181 | + 2 Tomasz Godzik |
| 182 | + 1 Arnout Engelen |
| 183 | + 1 Eugene Yokota |
| 184 | + 1 João Ferreira |
| 185 | + 1 Kasper Kondzielski |
| 186 | + 1 Lucas Nouguier |
| 187 | + 1 Lukas Rytz |
| 188 | + 1 Mikołaj Fornal |
| 189 | + 1 Nafer Sanabria |
| 190 | + 1 Natsu Kagami |
| 191 | + 1 Seth Tisue |
| 192 | + 1 Sébastien Doeraene |
| 193 | +
|
| 194 | +``` |
0 commit comments