scala/scala3 (scala)
### [`v3.4.1`](https://togithub.com/scala/scala3/compare/3.4.0...3.4.1)
[Compare Source](https://togithub.com/scala/scala3/compare/3.4.0...3.4.1)
### [`v3.4.0`](https://togithub.com/scala/scala3/releases/tag/3.4.0)
[Compare Source](https://togithub.com/scala/scala3/compare/3.3.3...3.4.0)
##### Highlights of the release
- Make polymorphic functions more efficient and expressive [#17548](https://togithub.com/lampepfl/dotty/pull/17548)
- SIP-56: Better foundations for match types [#18262](https://togithub.com/lampepfl/dotty/pull/18262)
- Make SIP 54 (Multi-Source Extension Overloads) a standard feature [#17441](https://togithub.com/lampepfl/dotty/pull/17441)
- Value parameter inference for polymorphic lambdas [#18041](https://togithub.com/lampepfl/dotty/pull/18041)
- Add `@publicInBinary` annotation and `-WunstableInlineAccessors` linting flag [#18402](https://togithub.com/lampepfl/dotty/pull/18402)
- Stabilize Quotes `defn.PolyFunction` [#18480](https://togithub.com/lampepfl/dotty/pull/18480)
- Stabilize Quotes `Flags.AbsOverride` [#18482](https://togithub.com/lampepfl/dotty/pull/18482)
- Add `-experimental` compiler flags [#18571](https://togithub.com/lampepfl/dotty/pull/18571)
- Stabilize SIP-53 (quote pattern explicit type variable syntax) [#18574](https://togithub.com/lampepfl/dotty/pull/18574)
- Add reflect TypeRepr.dealiasKeepOpaques [#18583](https://togithub.com/lampepfl/dotty/pull/18583)
- Add attributes section to TASTy and use it for Stdlib TASTy [#18599](https://togithub.com/lampepfl/dotty/pull/18599)
- Error when reading class file with unknown newer jdk version [#18618](https://togithub.com/lampepfl/dotty/pull/18618)
- Add support for xsbti.compile.CompileProgress [#18739](https://togithub.com/lampepfl/dotty/pull/18739)
- Improve type inference for functions like fold [#18780](https://togithub.com/lampepfl/dotty/pull/18780)
- Improve error message for mismatched tasty versions, allow configuration of header unpickler [#18828](https://togithub.com/lampepfl/dotty/pull/18828)
- In 3.4 make refutable patterns in a for comprehension an error [#18842](https://togithub.com/lampepfl/dotty/pull/18842)
- Disallow use of PolyFunction in user code [#18920](https://togithub.com/lampepfl/dotty/pull/18920)
- Store source file in TASTY attributes [#18948](https://togithub.com/lampepfl/dotty/pull/18948)
- First step to pipelining support - enable reading Java symbols from TASTy [#19074](https://togithub.com/lampepfl/dotty/pull/19074)
- Activate constrainResult fix in 3.4 [#19253](https://togithub.com/lampepfl/dotty/pull/19253)
- Parallelise JVM backend - Scala 2 port [#15392](https://togithub.com/lampepfl/dotty/pull/15392)
- Avoid generating given definitions that loop [#19282](https://togithub.com/lampepfl/dotty/pull/19282)
##### Deprecation warnings for old syntax
- `_` type wildcards [#18813](https://togithub.com/lampepfl/dotty/pull/18813)
- `private[this]` [#18819](https://togithub.com/lampepfl/dotty/pull/18819)
- `var x = _` [#18821](https://togithub.com/lampepfl/dotty/pull/18821)
- `with` as a type operator [#18837](https://togithub.com/lampepfl/dotty/pull/18837)
- `xs: _*` varargs [#18872](https://togithub.com/lampepfl/dotty/pull/18872)
- trailing `_` to force eta expansion [#18926](https://togithub.com/lampepfl/dotty/pull/18926)
- Make explicit arguments for context bounds an error from 3.5 [#19316](https://togithub.com/lampepfl/dotty/pull/19316)
##### Other changes and fixes
##### Backend
- Count size of parameters for platform limit check [#18464](https://togithub.com/lampepfl/dotty/pull/18464)
- Don't emit line number for synthetic unit value [#18717](https://togithub.com/lampepfl/dotty/pull/18717)
- Avoid too eager transform of $outer for lhs & accessor rhs [#18949](https://togithub.com/lampepfl/dotty/pull/18949)
- Make more anonymous functions static [#19251](https://togithub.com/lampepfl/dotty/pull/19251)
- Fix deadlock in initialization of CoreBTypes using Lazy container [#19298](https://togithub.com/lampepfl/dotty/pull/19298)
- Fix [#18769](https://togithub.com/scala/scala3/issues/18769): Allow HK type args in Java signatures. [#18883](https://togithub.com/lampepfl/dotty/pull/18883)
- Loading symbols from TASTy files directly [#17594](https://togithub.com/lampepfl/dotty/pull/17594)
- Use dedicated equals method for univerval equality of chars [#18770](https://togithub.com/lampepfl/dotty/pull/18770)
##### Erasure
- Get generic signature of fields entered after erasure from their accessor [#19207](https://togithub.com/lampepfl/dotty/pull/19207)
- Detect case where two alternatives are the same after widening ExprTypes [#18787](https://togithub.com/lampepfl/dotty/pull/18787)
- Improve erased params logic [#18433](https://togithub.com/lampepfl/dotty/pull/18433)
##### Experimental: Capture Checking
- Fix capture set variable installation in Setup [#18885](https://togithub.com/lampepfl/dotty/pull/18885)
- Don't follow opaque aliases when transforming sym info for cc [#18929](https://togithub.com/lampepfl/dotty/pull/18929)
- Reset `comparersInUse` to zero in `ContextState.reset` [#18915](https://togithub.com/lampepfl/dotty/pull/18915)
- Special handling of experimental.captureChecking import [#17427](https://togithub.com/lampepfl/dotty/pull/17427)
- Change handling of curried function types in capture checking [#18131](https://togithub.com/lampepfl/dotty/pull/18131)
- Fix [#18246](https://togithub.com/scala/scala3/issues/18246): correctly compute capture sets in `TypeComparer.glb` [#18254](https://togithub.com/lampepfl/dotty/pull/18254)
- New capture escape checking based on levels [#18463](https://togithub.com/lampepfl/dotty/pull/18463)
- A more robust scheme for resetting denotations after Recheck [#18534](https://togithub.com/lampepfl/dotty/pull/18534)
- A more flexible scheme for handling the universal capability [#18699](https://togithub.com/lampepfl/dotty/pull/18699)
- Fix potential soundness hole when adding references to a mapped capture set [#18758](https://togithub.com/lampepfl/dotty/pull/18758)
- Alternative scheme for cc encapsulation [#18899](https://togithub.com/lampepfl/dotty/pull/18899)
- Make reach refinement shallow [#19171](https://togithub.com/lampepfl/dotty/pull/19171)
##### F-bounds
- Don't check bounds of Java applications in Java units [#18054](https://togithub.com/lampepfl/dotty/pull/18054)
##### GADTs
- Avoid embedding SelectionProtos in Conversions [#17755](https://togithub.com/lampepfl/dotty/pull/17755)
- Freeze constraints while calculating GADT full bounds [#18222](https://togithub.com/lampepfl/dotty/pull/18222)
##### Implicits
- Followup fix to transparent inline conversion [#18130](https://togithub.com/lampepfl/dotty/pull/18130)
- Select local implicits over name-imported over wildcard imported [#18203](https://togithub.com/lampepfl/dotty/pull/18203)
- Fix how implicit candidates are combined [#18321](https://togithub.com/lampepfl/dotty/pull/18321)
- Improve error message about missing type of context function parameter [#18788](https://togithub.com/lampepfl/dotty/pull/18788)
- Support implicit arguments before extractor method [#18671](https://togithub.com/lampepfl/dotty/pull/18671)
- Tweak convertible implicits fix [#18727](https://togithub.com/lampepfl/dotty/pull/18727)
- Turn given loop prevention on for -source future [#19392](https://togithub.com/lampepfl/dotty/pull/19392)
- Fix algorithm to prevent recursive givens [#19411](https://togithub.com/lampepfl/dotty/pull/19411)
- Handle default implicits to context parameters under -3.4-migration \[[#19512](https://togithub.com/scala/scala3/issues/19512)] ([https://github.com/lampepfl/dotty/pull/19512](https://togithub.com/lampepfl/dotty/pull/19512))
##### Incremental Compilation
- Make incremental compilation aware of synthesized mirrors [#18310](https://togithub.com/lampepfl/dotty/pull/18310)
##### Inference
- Honour hard unions in lubbing and param replacing [#18680](https://togithub.com/lampepfl/dotty/pull/18680)
##### Infrastructure
- Use -Yscala2-library-tasty to add Scala 2 lib TASTY to scalac (internal only) [#18613](https://togithub.com/lampepfl/dotty/pull/18613)
- Rename `stdlib-bootstrapped-tasty` to `scala2-library-tasty` [#18615](https://togithub.com/lampepfl/dotty/pull/18615)
- Fix [#19286](https://togithub.com/scala/scala3/issues/19286): Freeze rubygems-update at < 3.5.0. [#19288](https://togithub.com/lampepfl/dotty/pull/19288)
##### Initialization
- Fix [#17997](https://togithub.com/scala/scala3/issues/17997): Handle intersection type as this type of super type [#18069](https://togithub.com/lampepfl/dotty/pull/18069)
- Add test for issue [#17997](https://togithub.com/scala/scala3/issues/17997) affecting the global object initialization checker [#18141](https://togithub.com/lampepfl/dotty/pull/18141)
- Fix i18624 and add test case for it [#18859](https://togithub.com/lampepfl/dotty/pull/18859)
- Treat new Array(0) as immutable [#19192](https://togithub.com/lampepfl/dotty/pull/19192)
- Fix [#18407](https://togithub.com/scala/scala3/issues/18407): Ignore Quote/Slice in init checker [#18848](https://togithub.com/lampepfl/dotty/pull/18848)
- Check safe initialization of static objects [#16970](https://togithub.com/lampepfl/dotty/pull/16970)
- Pattern match support in checking global objects [#18127](https://togithub.com/lampepfl/dotty/pull/18127)
- Fix crash in global object initialization checker when select target has no source [#18627](https://togithub.com/lampepfl/dotty/pull/18627)
- Fix warning underlining in global init checker [#18668](https://togithub.com/lampepfl/dotty/pull/18668)
- Fix i18629 [#18839](https://togithub.com/lampepfl/dotty/pull/18839)
- I18628 [#18841](https://togithub.com/lampepfl/dotty/pull/18841)
- Make safe init checker skip global objects [#18906](https://togithub.com/lampepfl/dotty/pull/18906)
- Handle local lazy vals properly [#18998](https://togithub.com/lampepfl/dotty/pull/18998)
##### Inline
- Fix regression: inline match crash when rhs uses private inlined methods [#18595](https://togithub.com/lampepfl/dotty/pull/18595)
- Add structural classes of dynamicApply before inlining [#18766](https://togithub.com/lampepfl/dotty/pull/18766)
- Set missing expansion span for copied inlined node [#18229](https://togithub.com/lampepfl/dotty/pull/18229)
- Fix `callTrace` of inlined methods [#18738](https://togithub.com/lampepfl/dotty/pull/18738)
##### Linting
- Keep tree of type ascriptions of quote pattern splices [#18412](https://togithub.com/lampepfl/dotty/pull/18412)
- Fix false positive in WUnused for renamed path-dependent imports [#18468](https://togithub.com/lampepfl/dotty/pull/18468)
- Fix false positive in WUnused for renamed path-dependent imports (2) [#18617](https://togithub.com/lampepfl/dotty/pull/18617)
- Fix wunused false positive on CanEqual [#18641](https://togithub.com/lampepfl/dotty/pull/18641)
- Implement -Xlint:private-shadow, type-parameter-shadow [#17622](https://togithub.com/lampepfl/dotty/pull/17622)
- Fix: reversed wconf parsing order to mirror scala 2 [#18503](https://togithub.com/lampepfl/dotty/pull/18503)
- Revert Fix false positive in WUnused for renamed path-dependent imports [#18514](https://togithub.com/lampepfl/dotty/pull/18514)
##### Macro Annotations
- Enter missing symbols generated by the MacroAnnotation expansion [#18826](https://togithub.com/lampepfl/dotty/pull/18826)
##### Match Types
- Allow Tuple.Head and Tuple.Tail to work with EmptyTuple [#17189](https://togithub.com/lampepfl/dotty/pull/17189)
- Fix match type reduction with avoided types [#18043](https://togithub.com/lampepfl/dotty/pull/18043)
- Strip LazyRef before calling simplified, in MT reduction [#18218](https://togithub.com/lampepfl/dotty/pull/18218)
- Fix MT separate compilation bug [#18398](https://togithub.com/lampepfl/dotty/pull/18398)
- Do not show deprecation warning for `_` in type match case [#18887](https://togithub.com/lampepfl/dotty/pull/18887)
##### Nullability
- Improve logic when to emit pattern type error [#18093](https://togithub.com/lampepfl/dotty/pull/18093)
- Allow nullability flow typing even in presence of pattern match [#18206](https://togithub.com/lampepfl/dotty/pull/18206)
- Fix [#11967](https://togithub.com/scala/scala3/issues/11967): flow typing nullability in pattern matches [#18212](https://togithub.com/lampepfl/dotty/pull/18212)
- Fix [#18282](https://togithub.com/scala/scala3/issues/18282): consider Predef.eq/ne in nullability flow typing [#18299](https://togithub.com/lampepfl/dotty/pull/18299)
- Make `this.type` nullable again (unless under -Yexplicit-nulls). [#18399](https://togithub.com/lampepfl/dotty/pull/18399)
##### Opaque Types
- Type ascribe trees that require opaque type usage [#18101](https://togithub.com/lampepfl/dotty/pull/18101)
##### Parser
- Fix selecting terms using *root* [#18335](https://togithub.com/lampepfl/dotty/pull/18335)
- Tweak java getlitch not to skip zero [#18491](https://togithub.com/lampepfl/dotty/pull/18491)
- Fix i18518 [#18520](https://togithub.com/lampepfl/dotty/pull/18520)
- Only apply `future` patches on `future-migration` [#18820](https://togithub.com/lampepfl/dotty/pull/18820)
- Parser simple expression error recovery change from `null` to `???` [#19103](https://togithub.com/lampepfl/dotty/pull/19103)
##### Pattern Matching
- Fix syntax and parsing of vararg patterns [#18055](https://togithub.com/lampepfl/dotty/pull/18055)
- Avoid over widening in SpaceEngine [#18252](https://togithub.com/lampepfl/dotty/pull/18252)
- Fix regression in exhaustivity of HK types [#18303](https://togithub.com/lampepfl/dotty/pull/18303)
- Fix missing case in isSubspace, which broke reachablility [#18326](https://togithub.com/lampepfl/dotty/pull/18326)
- Unsuppress unchecked warnings [#18377](https://togithub.com/lampepfl/dotty/pull/18377)
- Consider extension methods in Space isSameUnapply [#18642](https://togithub.com/lampepfl/dotty/pull/18642)
- Fix unreachable warning in deeply nested sealed hierarchy [#18706](https://togithub.com/lampepfl/dotty/pull/18706)
- Remove unnecessary and recursive Space decomposition [#19216](https://togithub.com/lampepfl/dotty/pull/19216)
- Prioritise sequence-matches over product-sequence-matches [#19260](https://togithub.com/lampepfl/dotty/pull/19260)
- Propagate constant in result of inline match [#18455](https://togithub.com/lampepfl/dotty/pull/18455)
- Disable match anaylsis in inlined trees [#19190](https://togithub.com/lampepfl/dotty/pull/19190)
- Teach provablyDisjoint about AnyKind [#18510](https://togithub.com/lampepfl/dotty/pull/18510)
- Warn about unchecked type tests in primitive catch cases [#19206](https://togithub.com/lampepfl/dotty/pull/19206)
- Reprioritise seq-match over product-seq-match [#19277](https://togithub.com/lampepfl/dotty/pull/19277)
- Fix exhaustivity due to separate TypeVar lambdas [#18616](https://togithub.com/lampepfl/dotty/pull/18616)
##### Presentation Compiler
- Support completions for extension definition parameter [#18331](https://togithub.com/lampepfl/dotty/pull/18331)
- Fix: Don't collect map, flatMap, withFilter in for-comprehension [#18430](https://togithub.com/lampepfl/dotty/pull/18430)
- Bugfix: Catch exception from the compiler for broken shadowed pickles [#18502](https://togithub.com/lampepfl/dotty/pull/18502)
- Bugfix: highlight for enum type params [#18528](https://togithub.com/lampepfl/dotty/pull/18528)
- Bugfix: No signature help for local methods [#18594](https://togithub.com/lampepfl/dotty/pull/18594)
- Bugfix: add `moduleClass` imported symbols in `IndexedContext` [#18620](https://togithub.com/lampepfl/dotty/pull/18620)
- Bugfix: Named args completions with default values [#18633](https://togithub.com/lampepfl/dotty/pull/18633)
- Fix: match completions for type aliases [#18667](https://togithub.com/lampepfl/dotty/pull/18667)
- Bugfix: add multiline comment completion [#18703](https://togithub.com/lampepfl/dotty/pull/18703)
- Bugfix: Backticked named arguments [#18704](https://togithub.com/lampepfl/dotty/pull/18704)
- Bugfix: \[metals] Case completions for tuple type [#18751](https://togithub.com/lampepfl/dotty/pull/18751)
- Completions should prepend, not replace as it is for Scala 2 [#18803](https://togithub.com/lampepfl/dotty/pull/18803)
- Bugfix: rename end marker [#18838](https://togithub.com/lampepfl/dotty/pull/18838)
- Presentation compiler: Bugfix for semantic tokens and synthetic decorations [#18955](https://togithub.com/lampepfl/dotty/pull/18955)
- Show documentation for value forwarders in completions [#19200](https://togithub.com/lampepfl/dotty/pull/19200)
- Bugfix: Document highlight on class constructors [#19209](https://togithub.com/lampepfl/dotty/pull/19209)
- Bugfix: Completions for extension methods with name conflict [#19225](https://togithub.com/lampepfl/dotty/pull/19225)
##### Polyfunctions
- Check user defined PolyFunction refinements [#18457](https://togithub.com/lampepfl/dotty/pull/18457)
- Support polymorphic functions with erased parameters [#18293](https://togithub.com/lampepfl/dotty/pull/18293)
- Use `PolyFunction` instead of `ErasedFunction` [#18295](https://togithub.com/lampepfl/dotty/pull/18295)
##### Quotes
- Support type variable with bounds in quoted pattern [#16910](https://togithub.com/lampepfl/dotty/pull/16910)
- Add new EXPLICITtpt to TASTy format [#17298](https://togithub.com/lampepfl/dotty/pull/17298)
- Inhibit typer to insert contextual arguments when it is inside arguments of HOAS patterns [#18040](https://togithub.com/lampepfl/dotty/pull/18040)
- Compile quote patterns directly into QuotePattern AST [#18133](https://togithub.com/lampepfl/dotty/pull/18133)
- Add missing span to synthesized product mirror [#18354](https://togithub.com/lampepfl/dotty/pull/18354)
- Improve non-static macro implementation error message [#18405](https://togithub.com/lampepfl/dotty/pull/18405)
- Fix scala 2 macros in traits with type parameters [#18663](https://togithub.com/lampepfl/dotty/pull/18663)
- Patch `underlyingArgument` to avoid mapping into modules [#18923](https://togithub.com/lampepfl/dotty/pull/18923)
- Fallback erasing term references [#18731](https://togithub.com/lampepfl/dotty/pull/18731)
- Fix ignored type variable bound warning in type quote pattern [#18199](https://togithub.com/lampepfl/dotty/pull/18199)
- Splice hole with singleton captures [#18357](https://togithub.com/lampepfl/dotty/pull/18357)
- Fix macros with erased arguments [#18431](https://togithub.com/lampepfl/dotty/pull/18431)
- Deprecate 3-arg `FunctionClass` constructor [#18472](https://togithub.com/lampepfl/dotty/pull/18472)
- Deprecate `Quotes` `{MethodType,TermParamClause}.isErased` [#18479](https://togithub.com/lampepfl/dotty/pull/18479)
- Avoid crashes on missing positions [#19250](https://togithub.com/lampepfl/dotty/pull/19250)
##### Reflection
- Add reflect.ValOrDefDef [#16974](https://togithub.com/lampepfl/dotty/pull/16974)
- Check New tree for ill-formed module instantiations [#17553](https://togithub.com/lampepfl/dotty/pull/17553)
- Add reflect `TypeLambda.paramVariances` [#17568](https://togithub.com/lampepfl/dotty/pull/17568)
- Make check flags for `newMethod`, `newVal` and `newBind` in Quotes API less restrictive [#18217](https://togithub.com/lampepfl/dotty/pull/18217)
- Normalise mirrorType for mirror Synthesis [#19199](https://togithub.com/lampepfl/dotty/pull/19199)
- Add reflect `defn.FunctionClass` overloads [#16849](https://togithub.com/lampepfl/dotty/pull/16849)
- Stabilize reflect flag `JavaAnnotation` [#19267](https://togithub.com/lampepfl/dotty/pull/19267)
- Stabilize reflect `paramVariance` [#19268](https://togithub.com/lampepfl/dotty/pull/19268)
##### Reporting
- Take into account the result type of inline implicit conversions unless they are transparent [#17924](https://togithub.com/lampepfl/dotty/pull/17924)
- Check if a fatal warning issued in typer is silenced, before converting it into an error [#18089](https://togithub.com/lampepfl/dotty/pull/18089)
- Elide companion defs to a `object` extending `AnyVal` [#18451](https://togithub.com/lampepfl/dotty/pull/18451)
- Add regression test for issue i18493 [#18497](https://togithub.com/lampepfl/dotty/pull/18497)
- Add better explanation to error message [#18665](https://togithub.com/lampepfl/dotty/pull/18665)
- Better error message when accessing private members [#18690](https://togithub.com/lampepfl/dotty/pull/18690)
- Improve message for discarded pure non-Unit values [#18723](https://togithub.com/lampepfl/dotty/pull/18723)
- Better error message when a pattern match extractor is not found. [#18725](https://togithub.com/lampepfl/dotty/pull/18725)
- Give "did you mean ...?" hints also for simple identifiers [#18747](https://togithub.com/lampepfl/dotty/pull/18747)
- Better error for definition followed by keyword [#18752](https://togithub.com/lampepfl/dotty/pull/18752)
- Better explain message for 'pattern expected' [#18753](https://togithub.com/lampepfl/dotty/pull/18753)
- Improve failure message of enum `fromOrdinal`/`valueOf` [#19182](https://togithub.com/lampepfl/dotty/pull/19182)
- Fix type mismatch error confusion between types with same simple name [#19204](https://togithub.com/lampepfl/dotty/pull/19204)
- Add hint for nested quotes missing staged `Quotes` [#18755](https://togithub.com/lampepfl/dotty/pull/18755)
- Better error messages for missing commas and more [#18785](https://togithub.com/lampepfl/dotty/pull/18785)
- Fix imported twice error messages [#18102](https://togithub.com/lampepfl/dotty/pull/18102)
- Improve error message for inaccessible types [#18406](https://togithub.com/lampepfl/dotty/pull/18406)
- Future migration warning for `with` type operator [#18818](https://togithub.com/lampepfl/dotty/pull/18818)
- Improve assertion error message for `Apply` and `TypeApply` [#18700](https://togithub.com/lampepfl/dotty/pull/18700)
- Shorten traces for TypeMismatch errors under -explain \[[#18742](https://togithub.com/scala/scala3/issues/18742)]\(
- Improve `with` in type migration warning [#18852](https://togithub.com/lampepfl/dotty/pull/18852)
hub.com/lampepfl/dotty/pull/18742)
- Future migration warning for alphanumeric infix operator [#18908](https://togithub.com/lampepfl/dotty/pull/18908)
- Make sure that trace is shown correctly in the presence of invalid line numbers [#18930](https://togithub.com/lampepfl/dotty/pull/18930)
- Add migration warning for XML literals in language future [#19101](https://togithub.com/lampepfl/dotty/pull/19101)
- Avoid diagnostic message forcing crashing the compiler [#19113](https://togithub.com/lampepfl/dotty/pull/19113)
- Make sure that the stacktrace is shown with `-Ydebug-unpickling` [#19115](https://togithub.com/lampepfl/dotty/pull/19115)
- Improve `asExprOf` cast error formatting [#19195](https://togithub.com/lampepfl/dotty/pull/19195)
- Do not warn on underscore wildcard type in pattern [#19249](https://togithub.com/lampepfl/dotty/pull/19249)
##### Scala-JS
- Fix [#18658](https://togithub.com/scala/scala3/issues/18658): Handle varargs of generic types in `JSExportsGen`. [#18659](https://togithub.com/lampepfl/dotty/pull/18659)
##### Scaladoc
- Fix incorrect comment parser used in nightly scaladoc [#18523](https://togithub.com/lampepfl/dotty/pull/18523)
- Update jsoup dependency of Scaladoc to 7.2 [#19584](https://togithub.com/lampepfl/dotty/pull/19584)
##### SemanticDB
- Export diagnostics (including unused warnings) to SemanticDB [#17835](https://togithub.com/lampepfl/dotty/pull/17835)
- Bugfix: Incorrect semanticdb span on Selectable [#18576](https://togithub.com/lampepfl/dotty/pull/18576)
- Bugfix: in semanticdb make synthetic apply disambiguator consistent w/ Scala 2 implicit [#17341](https://togithub.com/lampepfl/dotty/pull/17341)
##### Standard Library
- Intrinsify `constValueTuple` and `summonAll` [#18013](https://togithub.com/lampepfl/dotty/pull/18013)
- Fix [#18609](https://togithub.com/scala/scala3/issues/18609): Add language.`3.4` and language.`3.4-migration`. [#18610](https://togithub.com/lampepfl/dotty/pull/18610)
##### TASTy format
- Eliminate FromJavaObject from TASTy of Java sources [#19259](https://togithub.com/lampepfl/dotty/pull/19259)
- Add new HOLETYPES to TASTy format [#17225](https://togithub.com/lampepfl/dotty/pull/17225)
- Add capture checking attributes to TASTy [#19033](https://togithub.com/lampepfl/dotty/pull/19033)
- Add TASTyInfo abstraction [#19089](https://togithub.com/lampepfl/dotty/pull/19089)
- Add UTF8 abstraction in the TASTy format [#19090](https://togithub.com/lampepfl/dotty/pull/19090)
##### Tooling
- Don't add explanation twice [#18779](https://togithub.com/lampepfl/dotty/pull/18779)
- ExtractDependencies uses more efficient caching [#18403](https://togithub.com/lampepfl/dotty/pull/18403)
- Introduce the SourceVersions 3.4 and 3.4-migration; make 3.4 the default. [#18501](https://togithub.com/lampepfl/dotty/pull/18501)
- Bugfix: Completions for named args in wrong order [#18702](https://togithub.com/lampepfl/dotty/pull/18702)
- Align unpickled Scala 2 accessors encoding with Scala 3 [#18874](https://togithub.com/lampepfl/dotty/pull/18874)
- Reinterpret Scala 2 case accessors `xyz$access$idx` [#18907](https://togithub.com/lampepfl/dotty/pull/18907)
- Presentation-compiler: Add synthetic decorations [#18951](https://togithub.com/lampepfl/dotty/pull/18951)
- Add compilation unit info to `ClassSymbol` [#19010](https://togithub.com/lampepfl/dotty/pull/19010)
- Make sure that patches for 3.0 are also applied in later versions [#19018](https://togithub.com/lampepfl/dotty/pull/19018)
##### Transform
- Also consider [@targetName](https://togithub.com/targetName) when checking private overrides [#18361](https://togithub.com/lampepfl/dotty/pull/18361)
- Teach PostTyper to handle untupled context closures [#17739](https://togithub.com/lampepfl/dotty/pull/17739)
- Properly dealias tuple types when specializing [#18724](https://togithub.com/lampepfl/dotty/pull/18724)
- Fix condition in prefixIsElidable to prevent compiler crash [#18924](https://togithub.com/lampepfl/dotty/pull/18924)
- Fix [#18816](https://togithub.com/scala/scala3/issues/18816): Transfer the span of rewired `This` nodes in `fullyParameterizedDef`. [#18840](https://togithub.com/lampepfl/dotty/pull/18840)
- List(...) optimization to avoid intermediate array [#17166](https://togithub.com/lampepfl/dotty/pull/17166)
- Make Array.apply an intrinsic [#18537](https://togithub.com/lampepfl/dotty/pull/18537)
- Add missing span to extension method select [#18557](https://togithub.com/lampepfl/dotty/pull/18557)
##### Tuples
- Handle TupleXXL in match analysis [#19212](https://togithub.com/lampepfl/dotty/pull/19212)
- Add `reverse` method to `NonEmptyTuple` [#13752](https://togithub.com/lampepfl/dotty/pull/13752)
- Refine handling of pattern binders for large tuples [#19085](https://togithub.com/lampepfl/dotty/pull/19085)
- Introduce `Tuple.ReverseOnto` and use it in `Tuple.reverse` [#19183](https://togithub.com/lampepfl/dotty/pull/19183)
##### Typeclass Derivation
- Consider all parents when checking access to the children of a sum [#19083](https://togithub.com/lampepfl/dotty/pull/19083)
##### Typer
- Fix logic when comparing var/def bindings with val refinements [#18049](https://togithub.com/lampepfl/dotty/pull/18049)
- Fix variance checking in refinements [#18053](https://togithub.com/lampepfl/dotty/pull/18053)
- Fix accessibleType for package object prefixes [#18057](https://togithub.com/lampepfl/dotty/pull/18057)
- Refix avoid GADT casting with ProtoTypes [#18085](https://togithub.com/lampepfl/dotty/pull/18085)
- Avoid shadowing by private definitions in more situations [#18142](https://togithub.com/lampepfl/dotty/pull/18142)
- Refine infoDependsOnPrefix [#18204](https://togithub.com/lampepfl/dotty/pull/18204)
- Fix spurious subtype check pruning when both sides have unions [#18213](https://togithub.com/lampepfl/dotty/pull/18213)
- Reimplement support for type aliases in SAM types [#18317](https://togithub.com/lampepfl/dotty/pull/18317)
- Fix adaptation of constants to constant type aliases [#18360](https://togithub.com/lampepfl/dotty/pull/18360)
- Issue "positional after named argument" errors [#18363](https://togithub.com/lampepfl/dotty/pull/18363)
- Deprecate `ops.long.S` [#18426](https://togithub.com/lampepfl/dotty/pull/18426)
- Tweak selection from self types [#18467](https://togithub.com/lampepfl/dotty/pull/18467)
- Use the unwidened type when casting structural calls [#18527](https://togithub.com/lampepfl/dotty/pull/18527)
- Fix [#18649](https://togithub.com/scala/scala3/issues/18649): Use loBound of param types when materializing a context function. [#18651](https://togithub.com/lampepfl/dotty/pull/18651)
- Identify structural trees on Match Type qualifiers [#18765](https://togithub.com/lampepfl/dotty/pull/18765)
- Tweak approximation of type variables when computing default types [#18798](https://togithub.com/lampepfl/dotty/pull/18798)
- Admit parametric aliases of classes in parent typing [#18849](https://togithub.com/lampepfl/dotty/pull/18849)
- Also add privateWithin when creating constructor proxies [#18893](https://togithub.com/lampepfl/dotty/pull/18893)
- Revert part of `Simplify defn.FunctionOf.unapply` [#19012](https://togithub.com/lampepfl/dotty/pull/19012)
- Check [@targetName](https://togithub.com/targetName) when subtyping Refined Types [#19081](https://togithub.com/lampepfl/dotty/pull/19081)
- Record failures to adapt application arguments [#18269](https://togithub.com/lampepfl/dotty/pull/18269)
- Improve handling of AndTypes on the LHS of subtype comparisons [#18235](https://togithub.com/lampepfl/dotty/pull/18235)
- Allow inferred parameter types always, when eta-expanding [#18771](https://togithub.com/lampepfl/dotty/pull/18771)
- Fix failing bounds check on default getter [#18419](https://togithub.com/lampepfl/dotty/pull/18419)
- Use constructor's default getters in case class synthetic `apply` methods [#18716](https://togithub.com/lampepfl/dotty/pull/18716)
- Keep qualifier of Ident when selecting setter [#18714](https://togithub.com/lampepfl/dotty/pull/18714)
- Retract SynthesizeExtMethodReceiver mode when when going deeper in overloading resolution [#18759](https://togithub.com/lampepfl/dotty/pull/18759)
- Constant fold all the number conversion methods [#17446](https://togithub.com/lampepfl/dotty/pull/17446)
- Refine criterion when to widen types [#17180](https://togithub.com/lampepfl/dotty/pull/17180)
- Run all MatchType reduction under Mode.Type [#17937](https://togithub.com/lampepfl/dotty/pull/17937)
- Force consistent MT post-redux normalisation, disallow infinite match types [#18073](https://togithub.com/lampepfl/dotty/pull/18073)
- Fix [#17467](https://togithub.com/scala/scala3/issues/17467): Limit isNullable widening to stable TermRefs; remove under explicit nulls. [#17470](https://togithub.com/lampepfl/dotty/pull/17470)
- Disallow naming the root package, except for selections [#18187](https://togithub.com/lampepfl/dotty/pull/18187)
- Contextual varargs parameters [#18186](https://togithub.com/lampepfl/dotty/pull/18186)
- Encode the name of the attribute in Selectable.selectDynamic [#18928](https://togithub.com/lampepfl/dotty/pull/18928)
- Remove linearization requirement for override ref checks from java classes [#18953](https://togithub.com/lampepfl/dotty/pull/18953)
- Fix type inferencing (constraining) regressions [#19189](https://togithub.com/lampepfl/dotty/pull/19189)
- Repeated params must correspond in override [#16836](https://togithub.com/lampepfl/dotty/pull/16836)
- Convert SAM result types to function types [#17740](https://togithub.com/lampepfl/dotty/pull/17740)
- Disallow `infix` objects [#17966](https://togithub.com/lampepfl/dotty/pull/17966)
- Fix hasMatchingMember handling NoDenotation [#17977](https://togithub.com/lampepfl/dotty/pull/17977)
- Fix: disallow toplevel infix definitions for vals, vars, givens, methods and implicits [#17994](https://togithub.com/lampepfl/dotty/pull/17994)
- Curried methods are not valid SAM methods [#18110](https://togithub.com/lampepfl/dotty/pull/18110)
- Fix [#17115](https://togithub.com/scala/scala3/issues/17115): Try to normalize while computing `typeSize`. [#18386](https://togithub.com/lampepfl/dotty/pull/18386)
- Add default arguments to derived refined type [#18435](https://togithub.com/lampepfl/dotty/pull/18435)
- Handle dependent context functions [#18443](https://togithub.com/lampepfl/dotty/pull/18443)
- Fix variance loophole for private vars [#18693](https://togithub.com/lampepfl/dotty/pull/18693)
- Avoid crash arising from trying to find conversions from polymorphic singleton types [#18760](https://togithub.com/lampepfl/dotty/pull/18760)
- Allow inner classes of universal traits [#18796](https://togithub.com/lampepfl/dotty/pull/18796)
- Prevent crash when extension not found [#18830](https://togithub.com/lampepfl/dotty/pull/18830)
- Fix expandParam's use of argForParam/isArgPrefixOf. [#19412](https://togithub.com/lampepfl/dotty/pull/19412)
##### Contributors
Thank you to all the contributors who made this release possible 🎉
According to `git shortlog -sn --no-merges 3.3.1..3.4.0` these are:
474 Martin Odersky
296 Nicolas Stucki
132 Fengyun Liu
119 Dale Wijnand
77 Jamie Thompson
69 Sébastien Doeraene
60 Paweł Marks
32 Chris Kipp
27 Guillaume Martres
26 Rikito Taniguchi
21 Yichen Xu
19 EnzeXing
14 Szymon Rodziewicz
13 Lucas Leblanc
12 Jakub Ciesluk
12 Jędrzej Rochala
12 Katarzyna Marek
11 Carl
10 David Hua
9 Florian3k
9 Wojciech Mazur
8 Eugene Flesselle
8 ghostbuster91
7 Hamza Remmal
7 Jan Chyb
7 Ondrej Lhotak
7 Quentin Bernet
6 Julien Richard-Foy
6 Kacper Korban
6 Seth Tisue
5 Lorenzo Gabriele
5 Matt Bovel
5 Som Snytt
5 Yuito Murase
5 dependabot[bot]
3 David
3 Lucas
3 Pascal Weisenburger
3 Tomasz Godzik
2 Aleksander Rainko
2 Decel
2 Guillaume Raffin
2 Ondřej Lhoták
2 Oron Port
2 danecek
2 rochala
1 Adam Dąbrowski
1 Aleksey Troitskiy
1 Arnout Engelen
1 Ausmarton Zarino Fernandes
1 Bjorn Regnell
1 Daniel Esik
1 Eugene Yokota
1 Fabián Heredia Montiel
1 François Monniot
1 Jakub Cieśluk
1 John Duffell
1 John M. Higgins
1 Justin Reardon
1 Kai
1 Kisaragi
1 Lucas Nouguier
1 Lukas Rytz
1 LydiaSkuse
1 Martin Kucera
1 Martin Kučera
1 Matthew Rooney
1 Matthias Kurz
1 Mikołaj Fornal
1 Nicolas Almerge
1 Preveen P
1 Shardul Chiplunkar
1 Stefan Wachter
1 philippus
1 q-ata
1 slim
Configuration
📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.
♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 Ignore: Close this PR and you won't be reminded about this update again.
[ ] If you want to rebase/retry this PR, check this box
This PR has been generated by Mend Renovate. View repository job log here.
This PR contains the following updates:
3.3.3->3.4.1Release Notes
scala/scala3 (scala)
### [`v3.4.1`](https://togithub.com/scala/scala3/compare/3.4.0...3.4.1) [Compare Source](https://togithub.com/scala/scala3/compare/3.4.0...3.4.1) ### [`v3.4.0`](https://togithub.com/scala/scala3/releases/tag/3.4.0) [Compare Source](https://togithub.com/scala/scala3/compare/3.3.3...3.4.0) ##### Highlights of the release - Make polymorphic functions more efficient and expressive [#17548](https://togithub.com/lampepfl/dotty/pull/17548) - SIP-56: Better foundations for match types [#18262](https://togithub.com/lampepfl/dotty/pull/18262) - Make SIP 54 (Multi-Source Extension Overloads) a standard feature [#17441](https://togithub.com/lampepfl/dotty/pull/17441) - Value parameter inference for polymorphic lambdas [#18041](https://togithub.com/lampepfl/dotty/pull/18041) - Add `@publicInBinary` annotation and `-WunstableInlineAccessors` linting flag [#18402](https://togithub.com/lampepfl/dotty/pull/18402) - Stabilize Quotes `defn.PolyFunction` [#18480](https://togithub.com/lampepfl/dotty/pull/18480) - Stabilize Quotes `Flags.AbsOverride` [#18482](https://togithub.com/lampepfl/dotty/pull/18482) - Add `-experimental` compiler flags [#18571](https://togithub.com/lampepfl/dotty/pull/18571) - Stabilize SIP-53 (quote pattern explicit type variable syntax) [#18574](https://togithub.com/lampepfl/dotty/pull/18574) - Add reflect TypeRepr.dealiasKeepOpaques [#18583](https://togithub.com/lampepfl/dotty/pull/18583) - Add attributes section to TASTy and use it for Stdlib TASTy [#18599](https://togithub.com/lampepfl/dotty/pull/18599) - Error when reading class file with unknown newer jdk version [#18618](https://togithub.com/lampepfl/dotty/pull/18618) - Add support for xsbti.compile.CompileProgress [#18739](https://togithub.com/lampepfl/dotty/pull/18739) - Improve type inference for functions like fold [#18780](https://togithub.com/lampepfl/dotty/pull/18780) - Improve error message for mismatched tasty versions, allow configuration of header unpickler [#18828](https://togithub.com/lampepfl/dotty/pull/18828) - In 3.4 make refutable patterns in a for comprehension an error [#18842](https://togithub.com/lampepfl/dotty/pull/18842) - Disallow use of PolyFunction in user code [#18920](https://togithub.com/lampepfl/dotty/pull/18920) - Store source file in TASTY attributes [#18948](https://togithub.com/lampepfl/dotty/pull/18948) - First step to pipelining support - enable reading Java symbols from TASTy [#19074](https://togithub.com/lampepfl/dotty/pull/19074) - Activate constrainResult fix in 3.4 [#19253](https://togithub.com/lampepfl/dotty/pull/19253) - Parallelise JVM backend - Scala 2 port [#15392](https://togithub.com/lampepfl/dotty/pull/15392) - Avoid generating given definitions that loop [#19282](https://togithub.com/lampepfl/dotty/pull/19282) ##### Deprecation warnings for old syntax - `_` type wildcards [#18813](https://togithub.com/lampepfl/dotty/pull/18813) - `private[this]` [#18819](https://togithub.com/lampepfl/dotty/pull/18819) - `var x = _` [#18821](https://togithub.com/lampepfl/dotty/pull/18821) - `with` as a type operator [#18837](https://togithub.com/lampepfl/dotty/pull/18837) - `xs: _*` varargs [#18872](https://togithub.com/lampepfl/dotty/pull/18872) - trailing `_` to force eta expansion [#18926](https://togithub.com/lampepfl/dotty/pull/18926) - Make explicit arguments for context bounds an error from 3.5 [#19316](https://togithub.com/lampepfl/dotty/pull/19316) ##### Other changes and fixes ##### Backend - Count size of parameters for platform limit check [#18464](https://togithub.com/lampepfl/dotty/pull/18464) - Don't emit line number for synthetic unit value [#18717](https://togithub.com/lampepfl/dotty/pull/18717) - Avoid too eager transform of $outer for lhs & accessor rhs [#18949](https://togithub.com/lampepfl/dotty/pull/18949) - Make more anonymous functions static [#19251](https://togithub.com/lampepfl/dotty/pull/19251) - Fix deadlock in initialization of CoreBTypes using Lazy container [#19298](https://togithub.com/lampepfl/dotty/pull/19298) - Fix [#18769](https://togithub.com/scala/scala3/issues/18769): Allow HK type args in Java signatures. [#18883](https://togithub.com/lampepfl/dotty/pull/18883) - Loading symbols from TASTy files directly [#17594](https://togithub.com/lampepfl/dotty/pull/17594) - Use dedicated equals method for univerval equality of chars [#18770](https://togithub.com/lampepfl/dotty/pull/18770) ##### Erasure - Get generic signature of fields entered after erasure from their accessor [#19207](https://togithub.com/lampepfl/dotty/pull/19207) - Detect case where two alternatives are the same after widening ExprTypes [#18787](https://togithub.com/lampepfl/dotty/pull/18787) - Improve erased params logic [#18433](https://togithub.com/lampepfl/dotty/pull/18433) ##### Experimental: Capture Checking - Fix capture set variable installation in Setup [#18885](https://togithub.com/lampepfl/dotty/pull/18885) - Don't follow opaque aliases when transforming sym info for cc [#18929](https://togithub.com/lampepfl/dotty/pull/18929) - Reset `comparersInUse` to zero in `ContextState.reset` [#18915](https://togithub.com/lampepfl/dotty/pull/18915) - Special handling of experimental.captureChecking import [#17427](https://togithub.com/lampepfl/dotty/pull/17427) - Change handling of curried function types in capture checking [#18131](https://togithub.com/lampepfl/dotty/pull/18131) - Fix [#18246](https://togithub.com/scala/scala3/issues/18246): correctly compute capture sets in `TypeComparer.glb` [#18254](https://togithub.com/lampepfl/dotty/pull/18254) - New capture escape checking based on levels [#18463](https://togithub.com/lampepfl/dotty/pull/18463) - A more robust scheme for resetting denotations after Recheck [#18534](https://togithub.com/lampepfl/dotty/pull/18534) - A more flexible scheme for handling the universal capability [#18699](https://togithub.com/lampepfl/dotty/pull/18699) - Fix potential soundness hole when adding references to a mapped capture set [#18758](https://togithub.com/lampepfl/dotty/pull/18758) - Alternative scheme for cc encapsulation [#18899](https://togithub.com/lampepfl/dotty/pull/18899) - Make reach refinement shallow [#19171](https://togithub.com/lampepfl/dotty/pull/19171) ##### F-bounds - Don't check bounds of Java applications in Java units [#18054](https://togithub.com/lampepfl/dotty/pull/18054) ##### GADTs - Avoid embedding SelectionProtos in Conversions [#17755](https://togithub.com/lampepfl/dotty/pull/17755) - Freeze constraints while calculating GADT full bounds [#18222](https://togithub.com/lampepfl/dotty/pull/18222) ##### Implicits - Followup fix to transparent inline conversion [#18130](https://togithub.com/lampepfl/dotty/pull/18130) - Select local implicits over name-imported over wildcard imported [#18203](https://togithub.com/lampepfl/dotty/pull/18203) - Fix how implicit candidates are combined [#18321](https://togithub.com/lampepfl/dotty/pull/18321) - Improve error message about missing type of context function parameter [#18788](https://togithub.com/lampepfl/dotty/pull/18788) - Support implicit arguments before extractor method [#18671](https://togithub.com/lampepfl/dotty/pull/18671) - Tweak convertible implicits fix [#18727](https://togithub.com/lampepfl/dotty/pull/18727) - Turn given loop prevention on for -source future [#19392](https://togithub.com/lampepfl/dotty/pull/19392) - Fix algorithm to prevent recursive givens [#19411](https://togithub.com/lampepfl/dotty/pull/19411) - Handle default implicits to context parameters under -3.4-migration \[[#19512](https://togithub.com/scala/scala3/issues/19512)] ([https://github.com/lampepfl/dotty/pull/19512](https://togithub.com/lampepfl/dotty/pull/19512)) ##### Incremental Compilation - Make incremental compilation aware of synthesized mirrors [#18310](https://togithub.com/lampepfl/dotty/pull/18310) ##### Inference - Honour hard unions in lubbing and param replacing [#18680](https://togithub.com/lampepfl/dotty/pull/18680) ##### Infrastructure - Use -Yscala2-library-tasty to add Scala 2 lib TASTY to scalac (internal only) [#18613](https://togithub.com/lampepfl/dotty/pull/18613) - Rename `stdlib-bootstrapped-tasty` to `scala2-library-tasty` [#18615](https://togithub.com/lampepfl/dotty/pull/18615) - Fix [#19286](https://togithub.com/scala/scala3/issues/19286): Freeze rubygems-update at < 3.5.0. [#19288](https://togithub.com/lampepfl/dotty/pull/19288) ##### Initialization - Fix [#17997](https://togithub.com/scala/scala3/issues/17997): Handle intersection type as this type of super type [#18069](https://togithub.com/lampepfl/dotty/pull/18069) - Add test for issue [#17997](https://togithub.com/scala/scala3/issues/17997) affecting the global object initialization checker [#18141](https://togithub.com/lampepfl/dotty/pull/18141) - Fix i18624 and add test case for it [#18859](https://togithub.com/lampepfl/dotty/pull/18859) - Treat new Array(0) as immutable [#19192](https://togithub.com/lampepfl/dotty/pull/19192) - Fix [#18407](https://togithub.com/scala/scala3/issues/18407): Ignore Quote/Slice in init checker [#18848](https://togithub.com/lampepfl/dotty/pull/18848) - Check safe initialization of static objects [#16970](https://togithub.com/lampepfl/dotty/pull/16970) - Pattern match support in checking global objects [#18127](https://togithub.com/lampepfl/dotty/pull/18127) - Fix crash in global object initialization checker when select target has no source [#18627](https://togithub.com/lampepfl/dotty/pull/18627) - Fix warning underlining in global init checker [#18668](https://togithub.com/lampepfl/dotty/pull/18668) - Fix i18629 [#18839](https://togithub.com/lampepfl/dotty/pull/18839) - I18628 [#18841](https://togithub.com/lampepfl/dotty/pull/18841) - Make safe init checker skip global objects [#18906](https://togithub.com/lampepfl/dotty/pull/18906) - Handle local lazy vals properly [#18998](https://togithub.com/lampepfl/dotty/pull/18998) ##### Inline - Fix regression: inline match crash when rhs uses private inlined methods [#18595](https://togithub.com/lampepfl/dotty/pull/18595) - Add structural classes of dynamicApply before inlining [#18766](https://togithub.com/lampepfl/dotty/pull/18766) - Set missing expansion span for copied inlined node [#18229](https://togithub.com/lampepfl/dotty/pull/18229) - Fix `callTrace` of inlined methods [#18738](https://togithub.com/lampepfl/dotty/pull/18738) ##### Linting - Keep tree of type ascriptions of quote pattern splices [#18412](https://togithub.com/lampepfl/dotty/pull/18412) - Fix false positive in WUnused for renamed path-dependent imports [#18468](https://togithub.com/lampepfl/dotty/pull/18468) - Fix false positive in WUnused for renamed path-dependent imports (2) [#18617](https://togithub.com/lampepfl/dotty/pull/18617) - Fix wunused false positive on CanEqual [#18641](https://togithub.com/lampepfl/dotty/pull/18641) - Implement -Xlint:private-shadow, type-parameter-shadow [#17622](https://togithub.com/lampepfl/dotty/pull/17622) - Fix: reversed wconf parsing order to mirror scala 2 [#18503](https://togithub.com/lampepfl/dotty/pull/18503) - Revert Fix false positive in WUnused for renamed path-dependent imports [#18514](https://togithub.com/lampepfl/dotty/pull/18514) ##### Macro Annotations - Enter missing symbols generated by the MacroAnnotation expansion [#18826](https://togithub.com/lampepfl/dotty/pull/18826) ##### Match Types - Allow Tuple.Head and Tuple.Tail to work with EmptyTuple [#17189](https://togithub.com/lampepfl/dotty/pull/17189) - Fix match type reduction with avoided types [#18043](https://togithub.com/lampepfl/dotty/pull/18043) - Strip LazyRef before calling simplified, in MT reduction [#18218](https://togithub.com/lampepfl/dotty/pull/18218) - Fix MT separate compilation bug [#18398](https://togithub.com/lampepfl/dotty/pull/18398) - Do not show deprecation warning for `_` in type match case [#18887](https://togithub.com/lampepfl/dotty/pull/18887) ##### Nullability - Improve logic when to emit pattern type error [#18093](https://togithub.com/lampepfl/dotty/pull/18093) - Allow nullability flow typing even in presence of pattern match [#18206](https://togithub.com/lampepfl/dotty/pull/18206) - Fix [#11967](https://togithub.com/scala/scala3/issues/11967): flow typing nullability in pattern matches [#18212](https://togithub.com/lampepfl/dotty/pull/18212) - Fix [#18282](https://togithub.com/scala/scala3/issues/18282): consider Predef.eq/ne in nullability flow typing [#18299](https://togithub.com/lampepfl/dotty/pull/18299) - Make `this.type` nullable again (unless under -Yexplicit-nulls). [#18399](https://togithub.com/lampepfl/dotty/pull/18399) ##### Opaque Types - Type ascribe trees that require opaque type usage [#18101](https://togithub.com/lampepfl/dotty/pull/18101) ##### Parser - Fix selecting terms using *root* [#18335](https://togithub.com/lampepfl/dotty/pull/18335) - Tweak java getlitch not to skip zero [#18491](https://togithub.com/lampepfl/dotty/pull/18491) - Fix i18518 [#18520](https://togithub.com/lampepfl/dotty/pull/18520) - Only apply `future` patches on `future-migration` [#18820](https://togithub.com/lampepfl/dotty/pull/18820) - Parser simple expression error recovery change from `null` to `???` [#19103](https://togithub.com/lampepfl/dotty/pull/19103) ##### Pattern Matching - Fix syntax and parsing of vararg patterns [#18055](https://togithub.com/lampepfl/dotty/pull/18055) - Avoid over widening in SpaceEngine [#18252](https://togithub.com/lampepfl/dotty/pull/18252) - Fix regression in exhaustivity of HK types [#18303](https://togithub.com/lampepfl/dotty/pull/18303) - Fix missing case in isSubspace, which broke reachablility [#18326](https://togithub.com/lampepfl/dotty/pull/18326) - Unsuppress unchecked warnings [#18377](https://togithub.com/lampepfl/dotty/pull/18377) - Consider extension methods in Space isSameUnapply [#18642](https://togithub.com/lampepfl/dotty/pull/18642) - Fix unreachable warning in deeply nested sealed hierarchy [#18706](https://togithub.com/lampepfl/dotty/pull/18706) - Remove unnecessary and recursive Space decomposition [#19216](https://togithub.com/lampepfl/dotty/pull/19216) - Prioritise sequence-matches over product-sequence-matches [#19260](https://togithub.com/lampepfl/dotty/pull/19260) - Propagate constant in result of inline match [#18455](https://togithub.com/lampepfl/dotty/pull/18455) - Disable match anaylsis in inlined trees [#19190](https://togithub.com/lampepfl/dotty/pull/19190) - Teach provablyDisjoint about AnyKind [#18510](https://togithub.com/lampepfl/dotty/pull/18510) - Warn about unchecked type tests in primitive catch cases [#19206](https://togithub.com/lampepfl/dotty/pull/19206) - Reprioritise seq-match over product-seq-match [#19277](https://togithub.com/lampepfl/dotty/pull/19277) - Fix exhaustivity due to separate TypeVar lambdas [#18616](https://togithub.com/lampepfl/dotty/pull/18616) ##### Presentation Compiler - Support completions for extension definition parameter [#18331](https://togithub.com/lampepfl/dotty/pull/18331) - Fix: Don't collect map, flatMap, withFilter in for-comprehension [#18430](https://togithub.com/lampepfl/dotty/pull/18430) - Bugfix: Catch exception from the compiler for broken shadowed pickles [#18502](https://togithub.com/lampepfl/dotty/pull/18502) - Bugfix: highlight for enum type params [#18528](https://togithub.com/lampepfl/dotty/pull/18528) - Bugfix: No signature help for local methods [#18594](https://togithub.com/lampepfl/dotty/pull/18594) - Bugfix: add `moduleClass` imported symbols in `IndexedContext` [#18620](https://togithub.com/lampepfl/dotty/pull/18620) - Bugfix: Named args completions with default values [#18633](https://togithub.com/lampepfl/dotty/pull/18633) - Fix: match completions for type aliases [#18667](https://togithub.com/lampepfl/dotty/pull/18667) - Bugfix: add multiline comment completion [#18703](https://togithub.com/lampepfl/dotty/pull/18703) - Bugfix: Backticked named arguments [#18704](https://togithub.com/lampepfl/dotty/pull/18704) - Bugfix: \[metals] Case completions for tuple type [#18751](https://togithub.com/lampepfl/dotty/pull/18751) - Completions should prepend, not replace as it is for Scala 2 [#18803](https://togithub.com/lampepfl/dotty/pull/18803) - Bugfix: rename end marker [#18838](https://togithub.com/lampepfl/dotty/pull/18838) - Presentation compiler: Bugfix for semantic tokens and synthetic decorations [#18955](https://togithub.com/lampepfl/dotty/pull/18955) - Show documentation for value forwarders in completions [#19200](https://togithub.com/lampepfl/dotty/pull/19200) - Bugfix: Document highlight on class constructors [#19209](https://togithub.com/lampepfl/dotty/pull/19209) - Bugfix: Completions for extension methods with name conflict [#19225](https://togithub.com/lampepfl/dotty/pull/19225) ##### Polyfunctions - Check user defined PolyFunction refinements [#18457](https://togithub.com/lampepfl/dotty/pull/18457) - Support polymorphic functions with erased parameters [#18293](https://togithub.com/lampepfl/dotty/pull/18293) - Use `PolyFunction` instead of `ErasedFunction` [#18295](https://togithub.com/lampepfl/dotty/pull/18295) ##### Quotes - Support type variable with bounds in quoted pattern [#16910](https://togithub.com/lampepfl/dotty/pull/16910) - Add new EXPLICITtpt to TASTy format [#17298](https://togithub.com/lampepfl/dotty/pull/17298) - Inhibit typer to insert contextual arguments when it is inside arguments of HOAS patterns [#18040](https://togithub.com/lampepfl/dotty/pull/18040) - Compile quote patterns directly into QuotePattern AST [#18133](https://togithub.com/lampepfl/dotty/pull/18133) - Add missing span to synthesized product mirror [#18354](https://togithub.com/lampepfl/dotty/pull/18354) - Improve non-static macro implementation error message [#18405](https://togithub.com/lampepfl/dotty/pull/18405) - Fix scala 2 macros in traits with type parameters [#18663](https://togithub.com/lampepfl/dotty/pull/18663) - Patch `underlyingArgument` to avoid mapping into modules [#18923](https://togithub.com/lampepfl/dotty/pull/18923) - Fallback erasing term references [#18731](https://togithub.com/lampepfl/dotty/pull/18731) - Fix ignored type variable bound warning in type quote pattern [#18199](https://togithub.com/lampepfl/dotty/pull/18199) - Splice hole with singleton captures [#18357](https://togithub.com/lampepfl/dotty/pull/18357) - Fix macros with erased arguments [#18431](https://togithub.com/lampepfl/dotty/pull/18431) - Deprecate 3-arg `FunctionClass` constructor [#18472](https://togithub.com/lampepfl/dotty/pull/18472) - Deprecate `Quotes` `{MethodType,TermParamClause}.isErased` [#18479](https://togithub.com/lampepfl/dotty/pull/18479) - Avoid crashes on missing positions [#19250](https://togithub.com/lampepfl/dotty/pull/19250) ##### Reflection - Add reflect.ValOrDefDef [#16974](https://togithub.com/lampepfl/dotty/pull/16974) - Check New tree for ill-formed module instantiations [#17553](https://togithub.com/lampepfl/dotty/pull/17553) - Add reflect `TypeLambda.paramVariances` [#17568](https://togithub.com/lampepfl/dotty/pull/17568) - Make check flags for `newMethod`, `newVal` and `newBind` in Quotes API less restrictive [#18217](https://togithub.com/lampepfl/dotty/pull/18217) - Normalise mirrorType for mirror Synthesis [#19199](https://togithub.com/lampepfl/dotty/pull/19199) - Add reflect `defn.FunctionClass` overloads [#16849](https://togithub.com/lampepfl/dotty/pull/16849) - Stabilize reflect flag `JavaAnnotation` [#19267](https://togithub.com/lampepfl/dotty/pull/19267) - Stabilize reflect `paramVariance` [#19268](https://togithub.com/lampepfl/dotty/pull/19268) ##### Reporting - Take into account the result type of inline implicit conversions unless they are transparent [#17924](https://togithub.com/lampepfl/dotty/pull/17924) - Check if a fatal warning issued in typer is silenced, before converting it into an error [#18089](https://togithub.com/lampepfl/dotty/pull/18089) - Elide companion defs to a `object` extending `AnyVal` [#18451](https://togithub.com/lampepfl/dotty/pull/18451) - Add regression test for issue i18493 [#18497](https://togithub.com/lampepfl/dotty/pull/18497) - Add better explanation to error message [#18665](https://togithub.com/lampepfl/dotty/pull/18665) - Better error message when accessing private members [#18690](https://togithub.com/lampepfl/dotty/pull/18690) - Improve message for discarded pure non-Unit values [#18723](https://togithub.com/lampepfl/dotty/pull/18723) - Better error message when a pattern match extractor is not found. [#18725](https://togithub.com/lampepfl/dotty/pull/18725) - Give "did you mean ...?" hints also for simple identifiers [#18747](https://togithub.com/lampepfl/dotty/pull/18747) - Better error for definition followed by keyword [#18752](https://togithub.com/lampepfl/dotty/pull/18752) - Better explain message for 'pattern expected' [#18753](https://togithub.com/lampepfl/dotty/pull/18753) - Improve failure message of enum `fromOrdinal`/`valueOf` [#19182](https://togithub.com/lampepfl/dotty/pull/19182) - Fix type mismatch error confusion between types with same simple name [#19204](https://togithub.com/lampepfl/dotty/pull/19204) - Add hint for nested quotes missing staged `Quotes` [#18755](https://togithub.com/lampepfl/dotty/pull/18755) - Better error messages for missing commas and more [#18785](https://togithub.com/lampepfl/dotty/pull/18785) - Fix imported twice error messages [#18102](https://togithub.com/lampepfl/dotty/pull/18102) - Improve error message for inaccessible types [#18406](https://togithub.com/lampepfl/dotty/pull/18406) - Future migration warning for `with` type operator [#18818](https://togithub.com/lampepfl/dotty/pull/18818) - Improve assertion error message for `Apply` and `TypeApply` [#18700](https://togithub.com/lampepfl/dotty/pull/18700) - Shorten traces for TypeMismatch errors under -explain \[[#18742](https://togithub.com/scala/scala3/issues/18742)]\(Configuration
📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.
♻ Rebasing: Whenever PR becomes conflicted, 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.