Add changelog for 3.3.1

Also fix typos in older changelogs

changelogs/3.3.1-RC1.md

@@ -42,6 +42,7 @@
 - Harden tpd.Apply/TypeApply in case of errors [#16887](https://github.com/lampepfl/dotty/pull/16887)
 - Try to be more subtle when inferring type parameters of class parents [#16896](https://github.com/lampepfl/dotty/pull/16896)
 - Include `P` in the implicit scope of `P.this.type` [#17088](https://github.com/lampepfl/dotty/pull/17088)
+- Do not compute `protoFormal` if `param.tpt` is empty [#18288](https://github.com/lampepfl/dotty/pull/18288)
 
 ## Incremental Compilation
 
@@ -71,7 +72,6 @@
 
 ## Match Types
 
-- Normalize match type usage during implicit lookup [#17457](https://github.com/lampepfl/dotty/pull/17457)
 - Fix #13757: Explicitly disallow higher-kinded scrutinees of match types. [#17322](https://github.com/lampepfl/dotty/pull/17322)
 - Fix match type reduction with wildcard type arguments [#17065](https://github.com/lampepfl/dotty/pull/17065)
 - Fix check whether classtag can be generated for match types [#16708](https://github.com/lampepfl/dotty/pull/16708)
@@ -86,6 +86,7 @@
 - Check outer class prefixes in type projections when pattern matching [#17136](https://github.com/lampepfl/dotty/pull/17136)
 - Make unchecked cases non-`@unchecked` and non-unreachable [#16958](https://github.com/lampepfl/dotty/pull/16958)
 - Fix #16899: Better handle X instanceOf P where X is T1 | T2 [#17382](https://github.com/lampepfl/dotty/pull/17382)
+- Fix regression in exhaustivity of HK types [#18303](https://github.com/lampepfl/dotty/pull/18303)
 
 ## Pickling
 
@@ -121,6 +122,7 @@
 - Only transform the body of the quote with QuoteTransformer [#17451](https://github.com/lampepfl/dotty/pull/17451)
 - Place staged type captures in Quote AST [#17424](https://github.com/lampepfl/dotty/pull/17424)
 - Add SplicePattern AST to parse and type quote pattern splices [#17396](https://github.com/lampepfl/dotty/pull/17396)
+- Dealias types in `New`` before matching quotes [#17615](https://github.com/lampepfl/dotty/pull/17615)
 
 ## Reflection
 
@@ -129,7 +131,6 @@
 - Fix reflect.LambdaType type test [#16972](https://github.com/lampepfl/dotty/pull/16972)
 - Improve `New`/`Select` -Ycheck message [#16746](https://github.com/lampepfl/dotty/pull/16746)
 - Improve error message for CyclicReference in macros [#16749](https://github.com/lampepfl/dotty/pull/16749)
-- Add reflect `defn.FunctionClass` overloads [#16849](https://github.com/lampepfl/dotty/pull/16849)
 
 ## REPL
 
@@ -222,6 +223,16 @@
 - Fix #16405 ctd - wildcards prematurely resolving to Nothing [#16764](https://github.com/lampepfl/dotty/pull/16764)
 - Test: add regression test for #7790 [#17473](https://github.com/lampepfl/dotty/pull/17473)
 - Properly handle `AnyVal`s as refinement members of `Selectable`s  [#16286](https://github.com/lampepfl/dotty/pull/16286)
+- Fix `accessibleType` for package object prefixes [#18057](https://github.com/lampepfl/dotty/pull/18057)
+- Add clause for protected visibility from package objects [#18134](https://github.com/lampepfl/dotty/pull/18134)
+- Revert "Include top-level symbols from same file in outer ambiguity error" [#17438](https://github.com/lampepfl/dotty/pull/17438)
+- Heal stage inconsistent prefixes of type projections [#18239](https://github.com/lampepfl/dotty/pull/18239)
+- Fix regression #17245: Overloaded methods with ClassTags [#18286](https://github.com/lampepfl/dotty/pull/18286)
+- Disallow taking singleton types of packages again [#18232](https://github.com/lampepfl/dotty/pull/18232)
+- A slightly more conservative version of #14218 [#18352](https://github.com/lampepfl/dotty/pull/18352)
+- Record failures to adapt application arguments [#18269](https://github.com/lampepfl/dotty/pull/18269)
+- Refine `infoDependsOnPrefix` [#18204](httpsF://github.com/lampepfl/dotty/pull/18204)
+- Tweak selection from self types [#18467](https://github.com/lampepfl/dotty/pull/18467)
 
 # Contributors
 

changelogs/3.3.1-RC6.md

@@ -1,14 +1,14 @@
 # Backported fixes
 
 - Refine `infoDependsOnPrefix` [#18204](https://github.com/lampepfl/dotty/pull/18204)
-- FDo not compute `protoFormal` if `param.tpt` is empty [#18288](https://github.com/lampepfl/dotty/pull/18288)
+- Do not compute `protoFormal` if `param.tpt` is empty [#18288](https://github.com/lampepfl/dotty/pull/18288)
 - Revert "Normalize match type usage during implicit lookup" [#18440](https://github.com/lampepfl/dotty/pull/18440)
 
 # Contributors
 
 Thank you to all the contributors who made this release possible 🎉
 
-According to `git shortlog -sn --no-merges 3.3.1-RC4..3.3.1-RC5` these are:
+According to `git shortlog -sn --no-merges 3.3.1-RC5..3.3.1-RC6` these are:
 
 ```
      3	Paweł Marks