Highlights of the release

Add experimental capture checking #15877
Scaladoc: New UI design #15697

Other changes and fixes

Backend

Set ACC_FINAL access flag to final variable accessors #15707

Coverage

Avoid instrumentation of inline and erased definitions #15504

Erasure

Fix #15199: Exclude JavaDefined Modules from bridge generation. #15499

Extension Methods

Merge nested polytypes in more cases in resolveOverloaded #15636

GADTs

Fix GADT casting when typing if expressions #15646
Use GADT constraints in maximiseType #15544
Add the expected type to Poly's desugaring #15570
Allow refineUsingParent to infer GADT bounds #15706
Avoid leaking internal types in GadtConstraint.approximation #15558
Improve GADT usage tracing for MatchType reduction #15872
Add gadtAddBound to ExplainingTypeComparer tracing #15819
Avoid adding NoSymbol to gadt constraints in TypeOps.instantiateToSubType #15965

IDE Support

Recover from TypeErrors in isErroneous #15442
Add a guard against empty ident #15542

Initialization

Fix #15465: Use resolveThis for outerSelect resolution #15606
Fix #15459: Display uninitialized fields in promotion error #15488
Fix #15363: Improve error messages for leaking of this #15364
Make sure inner classes are checked first #15527
Handle super accessors in initialization checker #15703

Inline

Check is inline unapply has leading implicits #15583
Fix #15374: Make sure prefix of outer select has the correct class symbol #15592

Java Interoperability

Don't check import selectors for Java code #15617

JS Interoperability

Fix #15701: Implement js.dynamicImport for dynamic module loading. #15720
Implement support for js.new.target. #15734
Fix #14488: Scala.js: Add compiler support for scala.Enumeration. #15770

Match Types

Avoid null types when reducing match types #15748
Avoid references to unbound parameters in applied type patterns #15710

Nullability

Fix checking ctx to carry correct modes #15350

Pattern Matching

Teach provablyDisjoint to handle FromJavaObject #15769
Don't trust case class extractors with explicit type arguments #15669
Space: Fix how sealed abstract classes decompose #15553
Local classes are uncheckable (type tests) #15134
Fix ValDef span assignment in PatternMatcher #15783
Reject all explicitly written type references with bad bounds #15577

Pickling

Make simplify replace type parameters inside method types #15430

Quotes

Ignore types in macro runtime dependencies #15529

REPL

ReplDriver.run and :load take complete input #15811
REPL goes through a phase #15663
Avoid assertion failure for illegal trait inheritance #15631

Reporting

Underline assignment correctly in error message #15584
Better error message for "implicit search must be more specific" #15747
Provide better info on compiler crashes #15890

SemanticDB

Handle colons in file names when producing SemanticDB #15863

Standard Library

Fix throwReturn of NonLocalReturns to allow wider usage #15495
Update Scala 2 library dependency to 2.13.10 #16074

Tooling

Fix scala runner exit codes #15604
Command line parser respects outer escaped quote #15497
Added quotes to Scala home paths in scala and scalac scripts #15824
Retain partial type params typying information on error #15825

Transform

Implementation restriction: No partial functions with CFT results #15744
Fix treatment of parameter selections via this in constructors. #15737
Fix expansion and unexpansion of mixin qualified names #15712
Fix #15514 in Parser #15524
Check type arguments for bad bounds #15571

Typer

Fix swapKey #15894
Insert GADT casts for needy match types #15851
Add missing dealias in isContextFunctionRef #15742
Look for synthetic applies also under type applications #15572
Optimize isSameType for invariant applied types with the same structure #15556
Fix cycle detection for type aliases with wildcard arguments #15508
Handle recursions in isFullyDefined #15443
Do level checking on instantiation #15746
Use fullyDefinedType for mirror synthesis #15814
Instantiate more type variables to hard unions #15632
Simplify level fixing scheme #15936
Don't normalize in AppliedType#superType #15453
Try promotion while widening arguments #15467
Check import selectors at Typer #15477
Turn some calls to underlying into superType. #15455
Find more looping implicits #15481
Fix findFunctionType for OrTypes #15478
Fix looping implicits check #15655
Try to avoid static symbols if leaving them would make a leak #15548
Do not fold IsConst applied to dependent parameters #15759
Only look for synthetic applies under TypeApply with inferred arguments #15970
Improvements for implicit searches with top-level type variables #16001
Better types for class type parameters #15951
Fix tuple casting #16113
Be even more careful when combining argument and info in computeAsSeenFrom #16070
Be still more careful when computing denotations of class parameters #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