Scala 3.3.1

Highlights of the release:
Support records in JavaParsers #16762
Port JVM backend refactor from Scala 2 #15322
Other changes and fixes:
Backend:
Disallow mixins where super calls bind to vals #16908
Fix #15107: Avoid re-emitting a LineNumber after only LabelNodes. #16813
Coverage:
Fix #17042: Preserve the shape of secondary ctors in instrumentCoverage. #17111
Default parameters:
Dupe fix when finding default arg getters #17058
Documentation:
Fix: ensure syntax blocks for ebnf are marked as such #16837
Erasure:
Handle @companionClass and @companionMethod meta-annotations #17091
Extension Methods:
Support extension methods imported from different objects #17050
GADTs:
Fix tuple member selection so it works with GADT healing #16766
Fix upper bound constraints, that are higher-kinded #16744
Split out immutable GadtConstraint #16602
Implicits:
Improve subtyping check for not yet eta-expanded higher kinded types #17139
Harden tpd.Apply/TypeApply in case of errors #16887
Try to be more subtle when inferring type parameters of class parents #16896
Include P in the implicit scope of P.this.type #17088
Incremental Compilation:
Fix under-compilation when the method type in a SAM changes #16996
Infrastructure:
Set reference version to 3.3.0-RC6 #17504
Fix #17119: Download Coursier from GitHub directly #17141
Inline:
Remove NamedArg from inlined arguments #17228
Don't generate a Select for a TermRef with NoPrefix #16754
Prepare bodies of inline forwarders eagerly #16757
Do not remove inline method implementations until PruneErasedDefs #17408
Java Interop:
ClassfileParser: allow missing param names (for JDK 21) #17536
Linting:
Improve -Wunused: locals, privates with unset vars warning #16639 #17160
Fix wunused false positive when deriving alias type #17157
Port -Wnonunit-statement setting for dotty #16936
Match Types:
Normalize match type usage during implicit lookup #17457
Fix #13757: Explicitly disallow higher-kinded scrutinees of match types. #17322
Fix match type reduction with wildcard type arguments #17065
Fix check whether classtag can be generated for match types #16708
Parser:
Allow lines starting with . to fall outside previous indentation widths #17056
Pattern Matching:
Fix #11541: Specialize ClassTag[T] in exhaustivity check #17385
Check outer class prefixes in type projections when pattern matching #17136
Make unchecked cases non-@unchecked and non-unreachable #16958
Fix #16899: Better handle X instanceOf P where X is T1 | T2 #17382
Pickling:
ClassfileParser: Avoid cycle when accessing companion in inner class lookup #16882
Polyfunctions:
Fix type aliases in beta-reduction of polyfunctions #17054
Quotes:
Register paramProxy and thisProxy in Quote type #17541
Only check newVal/newMethod privateWithin on -Xcheck-macros #17437
Unencode quote and splice trees #17342
Correctly type Expr.ofTupleFromSeq for arity > 22 #17261
Use TermRef to distinguish distinct Type[T] instances #17205
Check level consistency of SingletonTypeTree as a type #17209
Fix splice type variable pattern detection #17048
Avoid creation of @SplicedType quote local refrences #17051
Dealias type references when healing types in quotes #17049
Replace quoted type variables in signature of HOAS pattern result #16951
Beta-reduce directly applied PolymorphicFunction #16623
Use Object.toString for quoted.{Expr, Type} #16663
Fix Splicer.isEscapedVariable #16838
Fix references to class members defined in quotes #17107
Handle pickled forward references in pickled expressions #16855
Fix #16615 - crashes of path dependent types in spliced Type.of #16773
Disallow local term references in staged types #16362
Refactor level checking / type healing logic #17082
Dealias quoted types when staging #17059
Fix quotes with references to path dependent types #17081
Make arguments order in quote hole deterministic #17405
Only transform the body of the quote with QuoteTransformer #17451
Place staged type captures in Quote AST #17424
Add SplicePattern AST to parse and type quote pattern splices #17396
Reflection:
Xcheck-macros: add hint when a symbol in created twice #16733
Assert that symbols created using reflect API have correct privateWithin symbols #17352
Fix reflect.LambdaType type test #16972
Improve New/Select -Ycheck message #16746
Improve error message for CyclicReference in macros #16749
Add reflect defn.FunctionClass overloads #16849
REPL:
Always load REPL classes in macros including the output directory #16866
Reporting:
Improve missing argument list error #17126
Improve implicit parameter error message with aliases #17125
Improve "constructor proxy shadows outer" handling #17154
Clarify ambiguous reference error message #16137
Hint about forbidden combination of implicit values and conversions #16735
Attach explanation message to diagnostic message #16787
Propagate implicit search errors from implicit macros #16840
Detail UnapplyInvalidReturnType error message #17167
Add way to debug -Xcheck-macros tree checking #16973
Enrich and finesse compiler crash reporting #17031
Allow @implicitNotFound messages as explanations #16893
Include top-level symbols from same file in outer ambiguity error #17033
Do not issue deprecation warnings when declaring deprecated case classes #17165
Scala-JS:
Fix #17344: Make implicit references to this above dynamic imports explicit. #17357
Fix #12621: Better error message for JS trait ctor param. #16811
Fix #16801: Handle Closure's of s.r.FunctionXXL. #16809
Fix #17549: Unify...

Patmat: Use less type variables in prefix inference
Just warn on type ascription on a pattern
Fix #17187: allow patches with same span