renovate[bot]
commented
1 year ago Renovate Ignore Notification
As this PR has been closed unmerged, Renovate will now ignore this update (3.2.2). You will still receive a PR once a newer version is released, so if you wish to permanently ignore this dependency, please add it to the ignoreDeps array of your renovate config.
If this PR was closed by mistake or you changed your mind, you can simply rename this PR and you will soon get a fresh replacement PR opened.
This PR contains the following updates:
3.1.3->3.2.2Release Notes
lampepfl/dotty
### [`v3.2.2`](https://togithub.com/lampepfl/dotty/releases/tag/3.2.2) [Compare Source](https://togithub.com/lampepfl/dotty/compare/3.2.1...3.2.2) ### Highlights of the release - Make truncation by characters in REPL configurable [#16167](https://togithub.com/lampepfl/dotty/pull/16167) - New (experimental for now) lazy vals implementation [#15296](https://togithub.com/lampepfl/dotty/pull/1) ### Other changes and fixes #### Coverage - Make coverage instrumentation more robust [#16235](https://togithub.com/lampepfl/dotty/pull/16235) #### Default parameters - Resolve overloading: keep track of prefix and indices of all default getters [#16009](https://togithub.com/lampepfl/dotty/pull/16009) ### Experimentals - Let accessors inherit [@experimental](https://togithub.com/experimental) annotations from accessed symbols [#16099](https://togithub.com/lampepfl/dotty/pull/16099) #### Extension Methods - Fix i14451 [#16010](https://togithub.com/lampepfl/dotty/pull/16010) ### GADTs - Add fixed GADT exhaustivity test cases [#16169](https://togithub.com/lampepfl/dotty/pull/16169) - Eliminate class hierarchy in `GadtConstraint` [#16194](https://togithub.com/lampepfl/dotty/pull/16194) #### Initialization - Code refactoring of initialization checker [#16066](https://togithub.com/lampepfl/dotty/pull/16066) #### Inline - Refine checking for outer references [#16122](https://togithub.com/lampepfl/dotty/pull/16122) #### Java interoperability - Parse `native` in Java bytecode as `@native` [#16232](https://togithub.com/lampepfl/dotty/pull/16232) #### Opaque Types - Disallow opaque type aliases of context functions [#16041](https://togithub.com/lampepfl/dotty/pull/16041) #### Overloading - Fix curried overloading resolution for polymorphic methods [#16485](https://togithub.com/lampepfl/dotty/pull/16485) #### Parser - Align implementation with spec of soft modifiers [#15961](https://togithub.com/lampepfl/dotty/pull/15961) #### Pattern Matching - Fix redundancy (unreachability) warning [#16179](https://togithub.com/lampepfl/dotty/pull/16179) - Teach `SpaceEngine` that generic tuples are irrefutable [#16051](https://togithub.com/lampepfl/dotty/pull/16051) - Fix exhaustivity warning [#16168](https://togithub.com/lampepfl/dotty/pull/16168) ### Polyfunctions - Avoid checking purity of `Apply` without symbols [#16221](https://togithub.com/lampepfl/dotty/pull/16221) #### Reporting - Expose reason for unchecked warning [#16086](https://togithub.com/lampepfl/dotty/pull/16086) - Refine `AsSeenFrom` approximation scheme [#15957](https://togithub.com/lampepfl/dotty/pull/15957) - Better output under `-Ydetailed-stats` [#15950](https://togithub.com/lampepfl/dotty/pull/15950) - Fix crash in `-Vprofile` code [#16007](https://togithub.com/lampepfl/dotty/pull/16007) - Name stripped of module suffix must not be empty [#15597](https://togithub.com/lampepfl/dotty/pull/15597) - Fix `InlineMatch` pos for `summonFrom` [#16025](https://togithub.com/lampepfl/dotty/pull/16025) #### Rewrites - Rewrites are UTF-8 [#15622](https://togithub.com/lampepfl/dotty/pull/15622) #### Scala-JS - Fix the detection of inferred types of `= js.native`. [#16184](https://togithub.com/lampepfl/dotty/pull/16184) - Do not elide fields required for Scala.js interop semantics. [#16187](https://togithub.com/lampepfl/dotty/pull/16187) #### Scaladoc - Update quick links for new UI [#15912](https://togithub.com/lampepfl/dotty/pull/15912) - Avoid parsing code comment twice [#16154](https://togithub.com/lampepfl/dotty/pull/16154) - Make footer text configurable [#16064](https://togithub.com/lampepfl/dotty/pull/16064) - Add typography fallback fonts [#16063](https://togithub.com/lampepfl/dotty/pull/16063) #### SemanticDB - Emit `SymbolInformation` and `Occurrence` for anonymous class [#15865](https://togithub.com/lampepfl/dotty/pull/15865) - Fix regression in type apply synthetics [#16031](https://togithub.com/lampepfl/dotty/pull/16031) #### Transform - Fix creating forwarders for simple alias givens [#16193](https://togithub.com/lampepfl/dotty/pull/16193) - Only check for `Scala2LocalSuffix` in methods on Scala 2.x classes [#16014](https://togithub.com/lampepfl/dotty/pull/16014) - Fix mapping `TypeMap`s over annotations [#15948](https://togithub.com/lampepfl/dotty/pull/15948) - Peephole optimization to drop `.apply` from partially applied methods [#16022](https://togithub.com/lampepfl/dotty/pull/16022) #### Typer - Fix `approximateOr` of `(A & Double) | Null` [#16241](https://togithub.com/lampepfl/dotty/pull/16241) - Create boxed environments only for references and function values [#16136](https://togithub.com/lampepfl/dotty/pull/16136) - Fix higher-order unification incorrectly substituting tparams [#16181](https://togithub.com/lampepfl/dotty/pull/16181) - Handle copies of constrained type lambdas when determining an implicit scope [#16159](https://togithub.com/lampepfl/dotty/pull/16159) - Create message for missing arguments [#16158](https://togithub.com/lampepfl/dotty/pull/16158) - Make singleton types subtypes of their refined type [#16135](https://togithub.com/lampepfl/dotty/pull/16135) - Disallow overriding val parameters [#16096](https://togithub.com/lampepfl/dotty/pull/16096) - Avoid crash where creator proxies are referenced indirectly [#16098](https://togithub.com/lampepfl/dotty/pull/16098) - Refine estimation of default arguments in overloading resolution [#15962](https://togithub.com/lampepfl/dotty/pull/15962) - Harden `canAssign` [#15963](https://togithub.com/lampepfl/dotty/pull/15963) - Fix `isSubType` for static objects filling in type projections [#15959](https://togithub.com/lampepfl/dotty/pull/15959) - Fix expected type of `TupleXXL unapply` [#16248](https://togithub.com/lampepfl/dotty/pull/16248) - Drop lazy recursive application in `approximateParent` [#16073](https://togithub.com/lampepfl/dotty/pull/16073) - Type match with a match type when a match type is expected [#15599](https://togithub.com/lampepfl/dotty/pull/15599) - Compute completions at `typerPhase` [#16371](https://togithub.com/lampepfl/dotty/pull/16371) - Only include accessible base classes in `orDominator` [#16477](https://togithub.com/lampepfl/dotty/pull/16477) ### Contributors Thank you to all the contributors who made this release possible 🎉 According to `git shortlog -sn --no-merges 3.2.1..3.2.2` these are: ``` 86 Martin Odersky 24 Yichen Xu 23 Quentin Bernet 19 Dale Wijnand 18 Michael Pollmeier 13 Paweł Marks 8 Fengyun Liu 7 Guillaume Raffin 7 Som Snytt 6 Szymon Rodziewicz 5 Kacper Korban 4 Chris Kipp 3 Matt Bovel 3 Rikito Taniguchi 2 Ben Hutchison 2 Florian3k 2 Guillaume Martres 2 Jamie Thompson 2 João Costa 2 Julien Richard-Foy 2 Lukas Rytz 2 Sébastien Doeraene 1 Anton Sviridov 1 Gabriel Volpe 1 Liang Yan 1 Noah Rosamilia 1 Ondra Pelech 1 Seth Tisue 1 Tomasz Godzik 1 Vadim Chelyshov 1 nmc.borst 1 nmcb 1 olsdavis ``` ### [`v3.2.1`](https://togithub.com/lampepfl/dotty/releases/tag/3.2.1) [Compare Source](https://togithub.com/lampepfl/dotty/compare/3.2.0...3.2.1) ### Highlights of the release - Add experimental capture checking [#15877](https://togithub.com/lampepfl/dotty/pull/15877) - Scaladoc: New UI design [#15697](https://togithub.com/lampepfl/dotty/pull/15697) ### Other changes and fixes #### Backend - Set ACC_FINAL access flag to final variable accessors [#15707](https://togithub.com/lampepfl/dotty/pull/15707) #### Coverage - Avoid instrumentation of inline and erased definitions [#15504](https://togithub.com/lampepfl/dotty/pull/15504) #### Erasure - Fix [#15199](https://togithub.com/lampepfl/dotty/issues/15199): Exclude JavaDefined Modules from bridge generation. [#15499](https://togithub.com/lampepfl/dotty/pull/15499) #### Extension Methods - Merge nested polytypes in more cases in resolveOverloaded [#15636](https://togithub.com/lampepfl/dotty/pull/15636) #### GADTs - Fix GADT casting when typing if expressions [#15646](https://togithub.com/lampepfl/dotty/pull/15646) - Use GADT constraints in maximiseType [#15544](https://togithub.com/lampepfl/dotty/pull/15544) - Add the expected type to Poly's desugaring [#15570](https://togithub.com/lampepfl/dotty/pull/15570) - Allow refineUsingParent to infer GADT bounds [#15706](https://togithub.com/lampepfl/dotty/pull/15706) - Avoid leaking internal types in GadtConstraint.approximation [#15558](https://togithub.com/lampepfl/dotty/pull/15558) - Improve GADT usage tracing for MatchType reduction [#15872](https://togithub.com/lampepfl/dotty/pull/15872) - Add `gadtAddBound` to ExplainingTypeComparer tracing [#15819](https://togithub.com/lampepfl/dotty/pull/15819) - Avoid adding `NoSymbol` to gadt constraints in `TypeOps.instantiateToSubType` [#15965](https://togithub.com/lampepfl/dotty/pull/15965) #### IDE Support - Recover from TypeErrors in isErroneous [#15442](https://togithub.com/lampepfl/dotty/pull/15442) - Add a guard against empty ident [#15542](https://togithub.com/lampepfl/dotty/pull/15542) #### Initialization - Fix [#15465](https://togithub.com/lampepfl/dotty/issues/15465): Use resolveThis for outerSelect resolution [#15606](https://togithub.com/lampepfl/dotty/pull/15606) - Fix [#15459](https://togithub.com/lampepfl/dotty/issues/15459): Display uninitialized fields in promotion error [#15488](https://togithub.com/lampepfl/dotty/pull/15488) - Fix [#15363](https://togithub.com/lampepfl/dotty/issues/15363): Improve error messages for leaking of this [#15364](https://togithub.com/lampepfl/dotty/pull/15364) - Make sure inner classes are checked first [#15527](https://togithub.com/lampepfl/dotty/pull/15527) - Handle super accessors in initialization checker [#15703](https://togithub.com/lampepfl/dotty/pull/15703) #### Inline - Check is inline unapply has leading implicits [#15583](https://togithub.com/lampepfl/dotty/pull/15583) - Fix [#15374](https://togithub.com/lampepfl/dotty/issues/15374): Make sure prefix of outer select has the correct class symbol [#15592](https://togithub.com/lampepfl/dotty/pull/15592) #### Java Interoperability - Don't check import selectors for Java code [#15617](https://togithub.com/lampepfl/dotty/pull/15617) #### JS Interoperability - Fix [#15701](https://togithub.com/lampepfl/dotty/issues/15701): Implement js.dynamicImport for dynamic module loading. [#15720](https://togithub.com/lampepfl/dotty/pull/15720) - Implement support for js.`new`.target. [#15734](https://togithub.com/lampepfl/dotty/pull/15734) - Fix [#14488](https://togithub.com/lampepfl/dotty/issues/14488): Scala.js: Add compiler support for scala.Enumeration. [#15770](https://togithub.com/lampepfl/dotty/pull/15770) #### Match Types - Avoid null types when reducing match types [#15748](https://togithub.com/lampepfl/dotty/pull/15748) - Avoid references to unbound parameters in applied type patterns [#15710](https://togithub.com/lampepfl/dotty/pull/15710) #### Nullability - Fix checking ctx to carry correct modes [#15350](https://togithub.com/lampepfl/dotty/pull/15350) #### Pattern Matching - Teach provablyDisjoint to handle FromJavaObject [#15769](https://togithub.com/lampepfl/dotty/pull/15769) - Don't trust case class extractors with explicit type arguments [#15669](https://togithub.com/lampepfl/dotty/pull/15669) - Space: Fix how sealed abstract classes decompose [#15553](https://togithub.com/lampepfl/dotty/pull/15553) - Local classes are uncheckable (type tests) [#15134](https://togithub.com/lampepfl/dotty/pull/15134) - Fix ValDef span assignment in PatternMatcher [#15783](https://togithub.com/lampepfl/dotty/pull/15783) - Reject all explicitly written type references with bad bounds [#15577](https://togithub.com/lampepfl/dotty/pull/15577) #### Pickling - Make simplify replace type parameters inside method types [#15430](https://togithub.com/lampepfl/dotty/pull/15430) #### Quotes - Ignore types in macro runtime dependencies [#15529](https://togithub.com/lampepfl/dotty/pull/15529) #### REPL - ReplDriver.run and :load take complete input [#15811](https://togithub.com/lampepfl/dotty/pull/15811) - REPL goes through a phase [#15663](https://togithub.com/lampepfl/dotty/pull/15663) - Avoid assertion failure for illegal trait inheritance [#15631](https://togithub.com/lampepfl/dotty/pull/15631) #### Reporting - Underline assignment correctly in error message [#15584](https://togithub.com/lampepfl/dotty/pull/15584) - Better error message for "implicit search must be more specific" [#15747](https://togithub.com/lampepfl/dotty/pull/15747) - Provide better info on compiler crashes [#15890](https://togithub.com/lampepfl/dotty/pull/15890) #### SemanticDB - Handle colons in file names when producing SemanticDB [#15863](https://togithub.com/lampepfl/dotty/pull/15863) #### Standard Library - Fix `throwReturn` of `NonLocalReturns` to allow wider usage [#15495](https://togithub.com/lampepfl/dotty/pull/15495) - Update Scala 2 library dependency to 2.13.10 [#16074](https://togithub.com/lampepfl/dotty/pull/16074) #### Tooling - Fix scala runner exit codes [#15604](https://togithub.com/lampepfl/dotty/pull/15604) - Command line parser respects outer escaped quote [#15497](https://togithub.com/lampepfl/dotty/pull/15497) - Added quotes to Scala home paths in scala and scalac scripts [#15824](https://togithub.com/lampepfl/dotty/pull/15824) - Retain partial type params typying information on error [#15825](https://togithub.com/lampepfl/dotty/pull/15825) #### Transform - Implementation restriction: No partial functions with CFT results [#15744](https://togithub.com/lampepfl/dotty/pull/15744) - Fix treatment of parameter selections via this in constructors. [#15737](https://togithub.com/lampepfl/dotty/pull/15737) - Fix expansion and unexpansion of mixin qualified names [#15712](https://togithub.com/lampepfl/dotty/pull/15712) - Fix [#15514](https://togithub.com/lampepfl/dotty/issues/15514) in Parser [#15524](https://togithub.com/lampepfl/dotty/pull/15524) - Check type arguments for bad bounds [#15571](https://togithub.com/lampepfl/dotty/pull/15571) #### Typer - Fix swapKey [#15894](https://togithub.com/lampepfl/dotty/pull/15894) - Insert GADT casts for needy match types [#15851](https://togithub.com/lampepfl/dotty/pull/15851) - Add missing dealias in isContextFunctionRef [#15742](https://togithub.com/lampepfl/dotty/pull/15742) - Look for synthetic applies also under type applications [#15572](https://togithub.com/lampepfl/dotty/pull/15572) - Optimize isSameType for invariant applied types with the same structure [#15556](https://togithub.com/lampepfl/dotty/pull/15556) - Fix cycle detection for type aliases with wildcard arguments [#15508](https://togithub.com/lampepfl/dotty/pull/15508) - Handle recursions in isFullyDefined [#15443](https://togithub.com/lampepfl/dotty/pull/15443) - Do level checking on instantiation [#15746](https://togithub.com/lampepfl/dotty/pull/15746) - Use fullyDefinedType for mirror synthesis [#15814](https://togithub.com/lampepfl/dotty/pull/15814) - Instantiate more type variables to hard unions [#15632](https://togithub.com/lampepfl/dotty/pull/15632) - Simplify level fixing scheme [#15936](https://togithub.com/lampepfl/dotty/pull/15936) - Don't normalize in `AppliedType#superType` [#15453](https://togithub.com/lampepfl/dotty/pull/15453) - Try promotion while widening arguments [#15467](https://togithub.com/lampepfl/dotty/pull/15467) - Check import selectors at Typer [#15477](https://togithub.com/lampepfl/dotty/pull/15477) - Turn some calls to `underlying` into `superType`. [#15455](https://togithub.com/lampepfl/dotty/pull/15455) - Find more looping implicits [#15481](https://togithub.com/lampepfl/dotty/pull/15481) - Fix `findFunctionType` for `OrTypes` [#15478](https://togithub.com/lampepfl/dotty/pull/15478) - Fix looping implicits check [#15655](https://togithub.com/lampepfl/dotty/pull/15655) - Try to avoid static symbols if leaving them would make a leak [#15548](https://togithub.com/lampepfl/dotty/pull/15548) - Do not fold `IsConst` applied to dependent parameters [#15759](https://togithub.com/lampepfl/dotty/pull/15759) - Only look for synthetic applies under `TypeApply` with inferred arguments [#15970](https://togithub.com/lampepfl/dotty/pull/15970) - Improvements for implicit searches with top-level type variables [#16001](https://togithub.com/lampepfl/dotty/pull/16001) - Better types for class type parameters [#15951](https://togithub.com/lampepfl/dotty/pull/15951) - Fix tuple casting [#16113](https://togithub.com/lampepfl/dotty/pull/16113) - Be even more careful when combining argument and info in `computeAsSeenFrom` [#16070](https://togithub.com/lampepfl/dotty/pull/16070) - Be still more careful when computing denotations of class parameters [#16112](https://togithub.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.0..3.2.1` these are: ``` 215 Martin Odersky 94 Filip Łukasik 69 Fengyun Liu 57 Filip Zybała 31 Dale Wijnand 16 Paweł Marks 14 Sébastien Doeraene 10 Guillaume Raffin 9 rochala 8 Chris Kipp 8 Som Snytt 7 Jędrzej Rochala 7 Nicolas Stucki 7 Yichen Xu 6 Jamie Thompson 6 Tom Grigg 5 Kacper Korban 5 noti0na1 2 Arman Bilge 2 Matt Bovel 2 Ondrej Lhotak 2 Quentin Bernet 2 Seth Tisue 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 Wojciech Mazur 1 esteban marin 1 naveen ``` ### [`v3.2.0`](https://togithub.com/lampepfl/dotty/releases/tag/3.2.0) [Compare Source](https://togithub.com/lampepfl/dotty/compare/3.1.3...3.2.0) ### Highlights of the release - Add runtime.TupleMirror to avoid anonymous classes for mirrors of tuples [#15404](https://togithub.com/lampepfl/dotty/pull/15404) - Fix TupleXXL.productPrefix [#15411](https://togithub.com/lampepfl/dotty/pull/15411) - Synthesize mirrors for small generic tuples [#15250](https://togithub.com/lampepfl/dotty/pull/15250) - Fix [#14150](https://togithub.com/lampepfl/dotty/issues/14150): Constrain refinements to type parameters [#15014](https://togithub.com/lampepfl/dotty/pull/15014) - Gradual warning for deprecated nonlocal return [#15303](https://togithub.com/lampepfl/dotty/pull/15303) - Restrict mirrors of any union type [#15279](https://togithub.com/lampepfl/dotty/pull/15279) - Stabilize 3.2 APIs [#15197](https://togithub.com/lampepfl/dotty/pull/15197) - Add error reporting for mirror synthesis [#15164](https://togithub.com/lampepfl/dotty/pull/15164) - Fix [#14432](https://togithub.com/lampepfl/dotty/issues/14432): Check if scala 2 case class is accessible [#15008](https://togithub.com/lampepfl/dotty/pull/15008) - Fix [#12919](https://togithub.com/lampepfl/dotty/issues/12919): Summon anonymous mirror when companion is a case object [#14986](https://togithub.com/lampepfl/dotty/pull/14986) - Erase `Int | Nothing` signatures types into `Int` [#14971](https://togithub.com/lampepfl/dotty/pull/14971) - Allow exports in extension clauses [#14497](https://togithub.com/lampepfl/dotty/pull/14497) - Fix Scala Wart about implicit () class parameters [#14840](https://togithub.com/lampepfl/dotty/pull/14840) - Re-architecture quote pickling [#12540](https://togithub.com/lampepfl/dotty/pull/12540) - Add `scala.annotation.MainAnnotation` [#14558](https://togithub.com/lampepfl/dotty/pull/14558) - Add in initial support for code coverage [#13880](https://togithub.com/lampepfl/dotty/pull/13880) - Support tuple specialisation [#15060](https://togithub.com/lampepfl/dotty/pull/15060) - Remove support for `-scala-output-version` flag [#15146](https://togithub.com/lampepfl/dotty/pull/15146) - Make lazy vals and object native image friendly [#14780](https://togithub.com/lampepfl/dotty/pull/14780) - Allow return in tailrec position [#14067](https://togithub.com/lampepfl/dotty/pull/14067) ### Other changes and fixes #### Backend - Keep annotation order [#15063](https://togithub.com/lampepfl/dotty/pull/15063) - Update asm to 9.3 [#14926](https://togithub.com/lampepfl/dotty/pull/14926) - Fix [#14773](https://togithub.com/lampepfl/dotty/issues/14773): Reuse the param slots for the tailrec local mutable vars. [#14865](https://togithub.com/lampepfl/dotty/pull/14865) - Better error messages in case of `TooLarge*` exceptions in GenBCode [#14943](https://togithub.com/lampepfl/dotty/pull/14943) #### Coverage - Fix relativizing paths in coverage serializer [#15240](https://togithub.com/lampepfl/dotty/pull/15240) - Fix lifting of arguments with `-coverage-out` [#15530](https://togithub.com/lampepfl/dotty/pull/15530) - Avoid instrumentation of inline and erased definitions [#15504](https://togithub.com/lampepfl/dotty/pull/15504) - Keep `fun` and `args` together when instrumenting `TypeApply` for coverage [#15739](https://togithub.com/lampepfl/dotty/pull/15739) #### Erasure - Handle `&` and `|` types when computing tuple arity [#15330](https://togithub.com/lampepfl/dotty/pull/15330) - Fix two problems related to match types as array elements [#15625](https://togithub.com/lampepfl/dotty/pull/15625) #### Experimentals - Fix check experimental inline references [#15147](https://togithub.com/lampepfl/dotty/pull/15147) #### Exports - Refine criterion when to skip identifiers in pattern constructors [#15367](https://togithub.com/lampepfl/dotty/pull/15367) - Simplify and harden duplicates checking in exports [#14879](https://togithub.com/lampepfl/dotty/pull/14879) - Fix `isAbsType` prediction in `TreeUnpickler` [#14861](https://togithub.com/lampepfl/dotty/pull/14861) #### F-bounds - Recursion brake for joins in TypeComparer [#14880](https://togithub.com/lampepfl/dotty/pull/14880) #### GADTs - Heal pattern-bound type by gathering constraints [#15095](https://togithub.com/lampepfl/dotty/pull/15095) - Consider GADT upper bounds when upcasting the scrutinee type [#15351](https://togithub.com/lampepfl/dotty/pull/15351) - Extract wildcard GADT constraints more directly [#14832](https://togithub.com/lampepfl/dotty/pull/14832) - Fix constraining against `HKTypeLambda` arguments [#15688](https://togithub.com/lampepfl/dotty/pull/15688) #### IDE Support - Docs: Add a comment to `pathTo` mentioning that it might return `errorTermTree` [#15420](https://togithub.com/lampepfl/dotty/pull/15420) - Fix completions to properly contain public fields if they were shadowed [#15236](https://togithub.com/lampepfl/dotty/pull/15236) - Add proper signatureHelp for unapply methods [#15203](https://togithub.com/lampepfl/dotty/pull/15203) - Fix signatureHelp to show enclosing apply instead of closest one. [#15119](https://togithub.com/lampepfl/dotty/pull/15119) - Fix implicit conversion type resolve in completions [#15061](https://togithub.com/lampepfl/dotty/pull/15061) - Fix type alias completion, unify completion tests style [#15047](https://togithub.com/lampepfl/dotty/pull/15047) - Support code completion for refined types [#15283](https://togithub.com/lampepfl/dotty/pull/15283) - Fix `SourceFile.column` method. [#15209](https://togithub.com/lampepfl/dotty/pull/15209) #### Initialization - Check method arguments with parametricity when static [#14916](https://togithub.com/lampepfl/dotty/pull/14916) - Add safe-init test to prevent adding cold elements to hot arrays [#14895](https://togithub.com/lampepfl/dotty/pull/14895) - Allow non-hot values in SeqLiterals [#14794](https://togithub.com/lampepfl/dotty/pull/14794) #### Inline - Make private inline accessors `final` [#15324](https://togithub.com/lampepfl/dotty/pull/15324) - Fix inlining when outer select is needed from inline call prefix [#15327](https://togithub.com/lampepfl/dotty/pull/15327) - Support inline methods calling private inline methods on `this` [#15075](https://togithub.com/lampepfl/dotty/pull/15075) - Types with only an abstract inline method are not SAMs [#14874](https://togithub.com/lampepfl/dotty/pull/14874) - Don't issue unreachable error messages for inlined code [#14871](https://togithub.com/lampepfl/dotty/pull/14871) - Dealias arg type to detect opaque types [#15074](https://togithub.com/lampepfl/dotty/pull/15074) - Fix dependency status calculation for refined type aliases in method result types [#15390](https://togithub.com/lampepfl/dotty/pull/15390) - Fix computation of class nesting level in inliner [#15671](https://togithub.com/lampepfl/dotty/pull/15671) - Always expand inline accessor names [#15619](https://togithub.com/lampepfl/dotty/pull/15619) #### Java Compatibility - Java generic signatures can't refer to type members [#15093](https://togithub.com/lampepfl/dotty/pull/15093) - Simplify and correctify calculation of the InnerClass attribute [#15153](https://togithub.com/lampepfl/dotty/pull/15153) - Fix [#13523](https://togithub.com/lampepfl/dotty/issues/13523): Survive missing Java inner annotation classfiles [#15094](https://togithub.com/lampepfl/dotty/pull/15094) #### Match Types - Implement `provablyDisjoint` for refined types and type aliases [#15375](https://togithub.com/lampepfl/dotty/pull/15375) - Cache skolem types [#14909](https://togithub.com/lampepfl/dotty/pull/14909) - Refine Matchtype checking [#15423](https://togithub.com/lampepfl/dotty/pull/15423) #### Nullability - Speed up `.nn` [#15418](https://togithub.com/lampepfl/dotty/pull/15418) - Fix handling imports in `TreeUnpickler` [#15137](https://togithub.com/lampepfl/dotty/pull/15137) - Honor language imports when unpickling [#14962](https://togithub.com/lampepfl/dotty/pull/14962) - Remove special `eq`/`ne` in unsafeNulls [#15186](https://togithub.com/lampepfl/dotty/pull/15186) - Add `eq`/`ne` extension for `AnyRef|Null` to Scala3RunTime [#14632](https://togithub.com/lampepfl/dotty/pull/14632) #### Parser - Fix parser error for type arguments with trailing comma [#15395](https://togithub.com/lampepfl/dotty/pull/15395) - Change fewerbraces to always use a colon, even before lambdas [#15273](https://togithub.com/lampepfl/dotty/pull/15273) - Deprecate 3.1-migration, err on import [#14978](https://togithub.com/lampepfl/dotty/pull/14978) - Treat all incomplete ifs as statements [#14960](https://togithub.com/lampepfl/dotty/pull/14960) - Clarify and test rules for newline suppression [#14877](https://togithub.com/lampepfl/dotty/pull/14877) - Tweak assertion in withMods [#14857](https://togithub.com/lampepfl/dotty/pull/14857) - Fix loop in parser [#15421](https://togithub.com/lampepfl/dotty/pull/15421) - Parse unary operators as regular identifiers when backquoted [#15198](https://togithub.com/lampepfl/dotty/pull/15198) - Harden erasure of TermRefs [#15658](https://togithub.com/lampepfl/dotty/pull/15658) #### Pattern Matching - Preserve modifiers when desugaring for-comps [#15403](https://togithub.com/lampepfl/dotty/pull/15403) - Extract unapply types like typedUnApply [#15254](https://togithub.com/lampepfl/dotty/pull/15254) - Force Java enum children to be queried [#15109](https://togithub.com/lampepfl/dotty/pull/15109) - Enable stricter pattern binding warnings by default [#14294](https://togithub.com/lampepfl/dotty/pull/14294) - Irrefutable for generators don't require `withFilter` under `-source:future` [#15593](https://togithub.com/lampepfl/dotty/pull/15593) - Refutable extractor may be an `Apply` tree [#15651](https://togithub.com/lampepfl/dotty/pull/15651) #### Pickling - Survive unpickling crashes when completing from Tasty [#14884](https://togithub.com/lampepfl/dotty/pull/14884) #### Quotes - Transform RHS of captured assignment reference [#15247](https://togithub.com/lampepfl/dotty/pull/15247) - Properly look for inline methods [#15072](https://togithub.com/lampepfl/dotty/pull/15072) - Fix hash code of ExprImpl and TypeImpl [#15281](https://togithub.com/lampepfl/dotty/pull/15281) - Compute correct argument type in ExprMap [#15269](https://togithub.com/lampepfl/dotty/pull/15269) - Detect quoted pattern variables in alternatives [#15073](https://togithub.com/lampepfl/dotty/pull/15073) - Disallow old uses of quoted and spliced types [#15012](https://togithub.com/lampepfl/dotty/pull/15012) - Fix capturing conditions of HOAS quote patterns [#14822](https://togithub.com/lampepfl/dotty/pull/14822) #### Reflection - Add missing cases in SourceCode printer [#15032](https://togithub.com/lampepfl/dotty/pull/15032) - Add reflect `AppliedType` constructor [#14923](https://togithub.com/lampepfl/dotty/pull/14923) - Add regression test [#14924](https://togithub.com/lampepfl/dotty/pull/14924) #### Reporting - Case class must have at least one *leading* non-implicit parameter list [#15382](https://togithub.com/lampepfl/dotty/pull/15382) - Improve opaque type with no RHS error message [#15285](https://togithub.com/lampepfl/dotty/pull/15285) - Refine condition when to report errors in an inserted apply [#15016](https://togithub.com/lampepfl/dotty/pull/15016) - Accept soft modifiers separated by blank lines [#14959](https://togithub.com/lampepfl/dotty/pull/14959) - Fix warning with leaking `this` into Scala2 synthetic apply [#15307](https://togithub.com/lampepfl/dotty/pull/15307) - Refine error messages for early promotion [#15263](https://togithub.com/lampepfl/dotty/pull/15263) - Standardize `-rewrite` advertisements and suppress them in REPL [#14955](https://togithub.com/lampepfl/dotty/pull/14955) - Improve diagnostic for refutable extractors in pattern bindings [#14988](https://togithub.com/lampepfl/dotty/pull/14988) - Fix: correction to ClassTooLargeException message [#14974](https://togithub.com/lampepfl/dotty/pull/14974) #### Scaladoc - Fix rendering `ThisType` [#15440](https://togithub.com/lampepfl/dotty/pull/15440) - Add extension suffixes and fqName to scaladoc searchbar [#15048](https://togithub.com/lampepfl/dotty/pull/15048) - Fix implicit members resolution [#15021](https://togithub.com/lampepfl/dotty/pull/15021) - Fix windows paths handling in legacy external link provider [#15023](https://togithub.com/lampepfl/dotty/pull/15023) - Warn about special characters in filenames according to the default Jekyll rules [#14657](https://togithub.com/lampepfl/dotty/pull/14657) - Scaladoc annotations rework [#15361](https://togithub.com/lampepfl/dotty/pull/15361) - Fix expanding docstrings in Scaladoc [#15045](https://togithub.com/lampepfl/dotty/pull/15045) #### Scripting - Fix [#13760](https://togithub.com/lampepfl/dotty/issues/13760): Running script compiled jar no longer restricted to java.base module [#15103](https://togithub.com/lampepfl/dotty/pull/15103) #### SemanticDB - Do not register SymbolOccurrence for non-symbol endmarker [#15143](https://togithub.com/lampepfl/dotty/pull/15143) #### Standard Library - Implement new main annotation [#14841](https://togithub.com/lampepfl/dotty/pull/14841) - Add compiletime.ops.string.CharAt [#14431](https://togithub.com/lampepfl/dotty/pull/14431) - Make `EmptyTuple` a `case object` [#14972](https://togithub.com/lampepfl/dotty/pull/14972) - Deprecate `ToString` type which should be deprecated at 3.2.0 [#15645](https://togithub.com/lampepfl/dotty/pull/15645) #### Tasty Inspector - Handle `this` prefix in classes (in quote patterns) [#14800](https://togithub.com/lampepfl/dotty/pull/14800) - Fix parameter untupling [#14816](https://togithub.com/lampepfl/dotty/pull/14816) #### Tooling - Add -Vprofile option [#15406](https://togithub.com/lampepfl/dotty/pull/15406) - Fix rewrite for type-ascribed refutable pattern binding [#15314](https://togithub.com/lampepfl/dotty/pull/15314) - Fix rewrites for refutable pattern bindings [#14954](https://togithub.com/lampepfl/dotty/pull/14954) #### Transform - Also hoist lifted arguments in super calls [#14919](https://togithub.com/lampepfl/dotty/pull/14919) - Add deprecated overriding checks [#15432](https://togithub.com/lampepfl/dotty/pull/15432) - Don't cast to a value class as self type [#14885](https://togithub.com/lampepfl/dotty/pull/14885) - Disallow `@targetName` on top-level `class`, `trait`, and `object` [#15068](https://togithub.com/lampepfl/dotty/pull/15068) - Handle case where abstract overrides miss an implementation [#14893](https://togithub.com/lampepfl/dotty/pull/14893) - Treat RecTypes as potentially uncheckable [#14894](https://togithub.com/lampepfl/dotty/pull/14894) - Allow multiple wildcard vals [#14906](https://togithub.com/lampepfl/dotty/pull/14906) - Handle non-specialized functions in EtaReduce [#15498](https://togithub.com/lampepfl/dotty/pull/15498) #### Typeclass Derivation - Support intersection types in mirrorCompanionRef [#15192](https://togithub.com/lampepfl/dotty/pull/15192) - Fix [#15222](https://togithub.com/lampepfl/dotty/issues/15222): Recursively check for product ctor accessibility [#15231](https://togithub.com/lampepfl/dotty/pull/15231) - Fix 14025: Restrict curried type lambdas in mirror generation [#15006](https://togithub.com/lampepfl/dotty/pull/15006) - Make anonymous mirrors serializable [#15391](https://togithub.com/lampepfl/dotty/pull/15391) - Support Mirror synthesis for local and inner classes [#15847](https://togithub.com/lampepfl/dotty/pull/15847) #### Typer - Fix [#15405](https://togithub.com/lampepfl/dotty/issues/15405): Dealias Or type constituents when finding its dominator [#15416](https://togithub.com/lampepfl/dotty/pull/15416) - Handle unconstrained TypeVars when synthesizing ClassTags [#15376](https://togithub.com/lampepfl/dotty/pull/15376) - Allow for unqualified `apply` as context functions [#15417](https://togithub.com/lampepfl/dotty/pull/15417) - Prevent crash when reporting an error [#15320](https://togithub.com/lampepfl/dotty/pull/15320) - Show a match type trace for "not a class type" errors [#15218](https://togithub.com/lampepfl/dotty/pull/15218) - Don't constrain type variables in normalize [#15223](https://togithub.com/lampepfl/dotty/pull/15223) - Eta expand CFTs in super accessors if needed [#15092](https://togithub.com/lampepfl/dotty/pull/15092) - Reject structural applications of polymorphic methods [#15090](https://togithub.com/lampepfl/dotty/pull/15090) - Hande clashes between same-named exports [#14967](https://togithub.com/lampepfl/dotty/pull/14967) - Fix outer reference detection in class parents [#14961](https://togithub.com/lampepfl/dotty/pull/14961) - Avoid redundant type test for irrefutable [@unchecked](https://togithub.com/unchecked) patterns [#14898](https://togithub.com/lampepfl/dotty/pull/14898) - Detect clashes involving renamed exports [#14831](https://togithub.com/lampepfl/dotty/pull/14831) - Guard against stackoverflows when instantiating HK-Lambdas [#14851](https://togithub.com/lampepfl/dotty/pull/14851) - Don't try conversions or extensions on Java companion objects [#14881](https://togithub.com/lampepfl/dotty/pull/14881) - Revert [#14452](https://togithub.com/lampepfl/dotty/issues/14452) and make compile-time operations on stable arguments stable [#15268](https://togithub.com/lampepfl/dotty/pull/15268) - Better handling of type parameters in constructor pattern [#15356](https://togithub.com/lampepfl/dotty/pull/15356) - Handle AvoidMap recursions [#15393](https://togithub.com/lampepfl/dotty/pull/15393) - Add missing condition in checking synthetic apply [#15362](https://togithub.com/lampepfl/dotty/pull/15362) - Harden type assignment of lambda trees [#14887](https://togithub.com/lampepfl/dotty/pull/14887) - Disallow package names as types [#14888](https://togithub.com/lampepfl/dotty/pull/14888) - Fix `constToLiteral` [#14853](https://togithub.com/lampepfl/dotty/pull/14853) - Survive TypeErrors in `isMatchedBy` [#15675](https://togithub.com/lampepfl/dotty/pull/15675) - Don't ignore expected types of `New` [#15679](https://togithub.com/lampepfl/dotty/pull/15679) - Better infos for dependent class parameter references [#15667](https://togithub.com/lampepfl/dotty/pull/15667) ### 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: ``` 154 odersky 62 Nicolas Stucki 51 Filip Zybała 42 Jamie Thompson 39 Dale Wijnand 30 Tom Grigg 29 Paweł Marks 29 rochala 25 Guillaume Raffin 13 Fengyun Liu 13 Ondrej Lhotak 11 Guillaume Martres 11 Sébastien Doeraene 7 Matt Bovel 7 Som Snytt 6 Szymon Rodziewicz 5 Julien Richard-Foy 5 Martin Odersky 5 Wojciech Mazur 4 Chris Kipp 4 Olivier Blanvillain 4 Xavientois 3 Rikito Taniguchi 3 Vadim Chelyshov 2 Adrien Piquerez 2 Albert Chen 2 Anatolii Kmetiuk 2 Arnout Engelen 2 Jan Chyb 2 Lan, Jian 2 Phil 2 Philippus 2 Raphael Jolly 2 Robert Stoll 2 Tim Spence 2 cgccuser 2 gagandeepkalra 2 manojo 2 noti0na1 2 Артём 1 Aleksander Boruch-Gruszecki 1 Dmitrii Naumenko 1 Humberto Rodríguez A 1 Johannes Rudolph 1 Jędrzej Rochala 1 Krzysztof Romanowski 1 Magnolia.K 1 Michał Pałka 1 Ondřej Lhoták 1 Stéphane Micheloud 1 Timothée Loyck Andres 1 Yichen Xu 1 adampauls 1 johannes karoff 1 ouertani 1 xuwei-k 1 yoshinorin ```Configuration
📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 Automerge: Enabled.
♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.
🔕 Ignore: Close this PR and you won't be reminded about this update again.
This PR has been generated by Mend Renovate. View repository job log here.