Add changelog for 3.7.3

Signed-off-by: Wojciech Mazur <[email protected]>

Author: WojciechMazur

changelogs/3.7.3.md

@@ -0,0 +1,238 @@
+# Release highlights
+
+- Warn if implicit default shadows given [#23559](https://github.com/scala/scala3/pull/23559)
+- Standardize on `-Vprint:...` (still support `-Xprint:...` as alias) [#22828](https://github.com/scala/scala3/pull/22828)
+
+# Other changes and fixes
+
+## Desugaring
+
+- Optimize simple tuple extraction [#23373](https://github.com/scala/scala3/pull/23373)
+
+## Enums
+
+- Make hashcode of enum items stable [#23218](https://github.com/scala/scala3/pull/23218)
+
+## Erasure
+
+- Replace erased class modifiers with Erased base traits [#23447](https://github.com/scala/scala3/pull/23447)
+- Bring back part of PruneErasedDefs [#23466](https://github.com/scala/scala3/pull/23466)
+
+## Experimental: Capture Checking
+
+- Fix parsing crash for update in later phases [#23390](https://github.com/scala/scala3/pull/23390)
+- Implement boxing for singleton type arguments [#23418](https://github.com/scala/scala3/pull/23418)
+- Expand Capability types also in arguments of Capability classes  [#23427](https://github.com/scala/scala3/pull/23427)
+- Adjustments to the capability trilogy [#23428](https://github.com/scala/scala3/pull/23428)
+- Set context owner to the method for `paramsToCap` [#23436](https://github.com/scala/scala3/pull/23436)
+- Flatten nested capture sets in retainedElementsRaw [#23571](https://github.com/scala/scala3/pull/23571)
+- Fix well-formed test for capabilities [#23393](https://github.com/scala/scala3/pull/23393)
+- Add restricted capabilities `x.only[C]` [#23485](https://github.com/scala/scala3/pull/23485)
+- Rely on hidden sets for use checking [#23580](https://github.com/scala/scala3/pull/23580)
+
+## Experimental: Seperation Checking
+
+- Make separation checking controlled by language import [#23560](https://github.com/scala/scala3/pull/23560)
+
+## Experimental: Erased Definitions
+
+- Refactorings and fixes to erased definition handling [#23404](https://github.com/scala/scala3/pull/23404)
+
+## Experimental: Explicit Nulls
+
+- Add quick fix to remove unnecessary .nn [#23461](https://github.com/scala/scala3/pull/23461)
+- Add `stableNull` annotation to force tracking mutable fields [#23528](https://github.com/scala/scala3/pull/23528)
+
+## Experimental: Global Initialization
+
+- Rewrite resolveThis in global init checker [#23282](https://github.com/scala/scala3/pull/23282)
+- Fix errors in the global initialization checker when compiling bootstrapped dotty [#23429](https://github.com/scala/scala3/pull/23429)
+- Fix error in product-sequence match in global init checker [#23480](https://github.com/scala/scala3/pull/23480)
+
+## Experimental: Into
+
+- Fix isConversionTargetType test [#23401](https://github.com/scala/scala3/pull/23401)
+
+## Experimental: Modularity
+
+- Refinements to skolemizaton [#23513](https://github.com/scala/scala3/pull/23513)
+
+## Experimental: Unroll
+
+- Enable UnrollDefinitions phase in REPL frontend phases [#23433](https://github.com/scala/scala3/pull/23433)
+
+## Extension Methods
+
+- Avoid forcing extension on check of local select [#23439](https://github.com/scala/scala3/pull/23439)
+
+## Implicits
+
+- Refine implicit search fallbacks for better ClassTag handling [#23532](https://github.com/scala/scala3/pull/23532)
+
+## Inline
+
+- Fix Symbol.info remapping in TreeTypeMap [#23432](https://github.com/scala/scala3/pull/23432)
+- Fail not inlined inline method calls early [#22925](https://github.com/scala/scala3/pull/22925)
+- Fix inline export forwarder generation regression [#23126](https://github.com/scala/scala3/pull/23126)
+
+## Linting
+
+- Consider setter of effectively private var [#23211](https://github.com/scala/scala3/pull/23211)
+- Add accessible check for import usage [#23348](https://github.com/scala/scala3/pull/23348)
+- Check OrType in interpolated toString lint [#23365](https://github.com/scala/scala3/pull/23365)
+- Use result of lambda type of implicit in CheckUnused [#23497](https://github.com/scala/scala3/pull/23497)
+- Add suppression if nowarn differs [#23652](https://github.com/scala/scala3/pull/23652)
+
+## Match Types
+
+- Fix: #23261 Distinguish 0.0 and -0.0 in ConstantType match types [#23265](https://github.com/scala/scala3/pull/23265)
+
+## Named Tuples
+
+- Skip bypassing unapply for scala 2 case classes to allow for single-element named tuple in unapply [#23603](https://github.com/scala/scala3/pull/23603)
+
+## Parser
+
+- Enforce `-new-syntax` under `-language:future` [#23443](https://github.com/scala/scala3/pull/23443)
+- Disallow Scala 2 implicits under `-source:future` [#23472](https://github.com/scala/scala3/pull/23472)
+
+## Pattern Matching
+
+- Fix problems in checking that a constructor is uninhabited for exhaustive match checking [#23403](https://github.com/scala/scala3/pull/23403)
+
+## Pickling
+
+- Don't force annotation unpickling when testing for SilentIntoAnnot [#23506](https://github.com/scala/scala3/pull/23506)
+- Drop invalid assumption from TastyUnpickler [#23353](https://github.com/scala/scala3/pull/23353)
+
+## Printer
+
+- Print update modifier when printing update method definitions [#23392](https://github.com/scala/scala3/pull/23392)
+
+## Positions
+
+- Compare span points in pathTo to determine best span [#23581](https://github.com/scala/scala3/pull/23581)
+- Add line number magic comment support [#23549](https://github.com/scala/scala3/pull/23549)
+
+## Presentation Compiler
+
+- Port Inlay hints for name parameters [#23375](https://github.com/scala/scala3/pull/23375)
+- Fix: Simplify infer type for apply [#23434](https://github.com/scala/scala3/pull/23434)
+- Fix: Inconsistent annotation tooltips [#23454](https://github.com/scala/scala3/pull/23454)
+- Fix adjust type when already exists [#23455](https://github.com/scala/scala3/pull/23455)
+- Exclude named parameters inlay hints for java defined [#23462](https://github.com/scala/scala3/pull/23462)
+- Fix: StringIndexOutOfBoundsException in presentation compiler's hasColon method [#23498](https://github.com/scala/scala3/pull/23498)
+- Add InferredMethodProvider for automatic method signature generation [#23563](https://github.com/scala/scala3/pull/23563)
+- Fix completions for Quotes [#23619](https://github.com/scala/scala3/pull/23619)
+- Handle default arguments in named parameters for inlay hints [#23641](https://github.com/scala/scala3/pull/23641)
+- Fix issue with pc breaking in requiredMethod on newly overloaded valueOf [#23708](https://github.com/scala/scala3/pull/23708)
+- Handle default arguments in named parameters for inlay hints [#23641](https://github.com/scala/scala3/pull/23641)
+- Fix extracting refinements from intersection types in dynamic select hovers [#23640](https://github.com/scala/scala3/pull/23640)
+
+## Quotes
+
+- Skip splice level checking for `<refinement>` symbols [#22782](https://github.com/scala/scala3/pull/22782)
+- Fix stale top level synthetic package object being used in later runs [#23464](https://github.com/scala/scala3/pull/23464)
+- Emit an error for quoted pattern type variable after `new` [#23618](https://github.com/scala/scala3/pull/23618)
+- Fix issue with certain polyfunctions not properly matching in macros [#23614](https://github.com/scala/scala3/pull/23614)
+- Check PCP of constructor calls on the type [#7531](https://github.com/scala/scala3/pull/7531)
+
+## Reflection
+
+- Quotes reflect: sort the typeMembers output list and filter out non-members [#22876](https://github.com/scala/scala3/pull/22876)
+
+## Reporting
+
+- Add an explainer to the DoubleDefinition error [#23470](https://github.com/scala/scala3/pull/23470)
+- Suppress warnings in comprehensions with 22+ binds [#23590](https://github.com/scala/scala3/pull/23590)
+- Unhelpful error message when trying to use named extraction, when not matching case class or named tuple [#23354](https://github.com/scala/scala3/pull/23354)
+- Improve error message for conflicting definitions [#23453](https://github.com/scala/scala3/pull/23453)
+- `-Yprofile-trace` properly report macro splicing source [#23488](https://github.com/scala/scala3/pull/23488)
+- `-Yprofile-trace` profiles all inline calls [#23490](https://github.com/scala/scala3/pull/23490)
+
+## Rewrites
+
+- Patch empty implicit parens on error recovery [#22835](https://github.com/scala/scala3/pull/22835)
+- Rewrite underscore with optional space [#23525](https://github.com/scala/scala3/pull/23525)
+
+## Runner
+
+- Bump Scala CLI to v1.9.0 (was v1.8.4) [#23702](https://github.com/scala/scala3/pull/23856)
+
+## Scaladoc
+
+- Scaladoc: fixes and improvements to context bounds and extension methods [#22156](https://github.com/scala/scala3/pull/22156)
+- Encode path of class [#23503](https://github.com/scala/scala3/pull/23503)
+
+## SemanticDB
+
+- Bugfix: Also save infos in semanticdb [#23587](https://github.com/scala/scala3/pull/23587)
+
+## Transform
+
+- Handle multiple type parameter lists in value class methods [#23516](https://github.com/scala/scala3/pull/23516)
+- Check path of module prefix for tailrec [#23491](https://github.com/scala/scala3/pull/23491)
+
+## Tuples
+
+- Normalize tuple types in var args seq literals and classOf instances [#23465](https://github.com/scala/scala3/pull/23465)
+
+## Typer
+
+- Fix #22922: Add TypeParamRef handling in isSingletonBounded [#23501](https://github.com/scala/scala3/pull/23501)
+- Fix this references everywhere in dependent function types [#23514](https://github.com/scala/scala3/pull/23514)
+- Don't approximate a type using `Nothing` as prefix [#23531](https://github.com/scala/scala3/pull/23531)
+- Support cleanup actions in class completers [#23515](https://github.com/scala/scala3/pull/23515)
+- Fix regressions in asSeenFrom introduced in 3.7 [#23438](https://github.com/scala/scala3/pull/23438)
+- Use correct owner in eta expansion [#7564](https://github.com/scala/scala3/pull/7564)
+- Fix irrefutability checking in `for` with untupling [#23273](https://github.com/scala/scala3/pull/23273)
+- Fix missing members reporting for var setters [#23476](https://github.com/scala/scala3/pull/23476)
+- Guard against invalid prefixes in argForParam [#23508](https://github.com/scala/scala3/pull/23508)
+- Add missing case to TypeComparer [#23550](https://github.com/scala/scala3/pull/23550)
+- Fix match type bounds checking problem [#23695](https://github.com/scala/scala3/pull/23695)
+- Generalize "Don't approximate a type using Nothing as prefix" [#23628](https://github.com/scala/scala3/pull/23628)
+- More careful ClassTag instantiation [#23659](https://github.com/scala/scala3/pull/23659)
+- Use more context for implicit search only if no default argument [#23664](https://github.com/scala/scala3/pull/23664)
+
+# Contributors
+
+Thank you to all the contributors who made this release possible 🎉
+
+According to `git shortlog -sn --no-merges 3.7.2..3.7.3` these are:
+
+```
+    85  Martin Odersky
+    56  Hamza Remmal
+    29  Wojciech Mazur
+    20  Som Snytt
+    20  noti0na1
+    18  Yichen Xu
+    15  Jan Chyb
+     9  Matt Bovel
+     7  EnzeXing
+     7  Guillaume Martres
+     6  aherlihy
+     5  Sébastien Doeraene
+     4  Zieliński Patryk
+     3  Oliver Bračevac
+     3  Piotr Chabelski
+     3  Tomasz Godzik
+     2  Alexander
+     2  Mikołaj Fornal
+     2  Seyon Sivatharan
+     1  Alex1005a
+     1  HarrisL2
+     1  Jan
+     1  Jentsch
+     1  Jędrzej Rochala
+     1  Kacper Korban
+     1  Katarzyna Marek
+     1  Marc GRIS
+     1  Martin Duhem
+     1  Patryk Zieliński
+     1  Przemysław Sajnóg
+     1  Seth Tisue
+     1  Wessel W. Bakker
+     1  bingchen-li
+     1  kijuky
+```