[RecoveryExpr] Add 11.0.0 release note.

[sammccall]

clang/docs/ReleaseNotes.rst

51

nit: AST rather than ASTs (matching the flag, and also it's AST is singular in the text)

81

This feature is on by default for C++ code, and can be explicitly controlled with `-Xclang -f[no-]recovery-ast`.

[tschuett]

clang/docs/ReleaseNotes.rst

73

clangd-11 or clang-11?

[sammccall]

clang/docs/ReleaseNotes.rst

65

Oops, I missed this, I think this should be three code blocks: one for C++, one for the first AST and one for the second AST.
Tex like "clang-10 produces the minimal placeholder" goes between them rather than in the code blocks.

(I don't think pretending this is all C++ and wrapping it in comments helps readability)

[hokein]

address comments

[hokein]

committed in https://github.com/llvm/llvm-project/commit/5d21aedfdbf0b85d65bad08b7b89913205de4b33.

clang/docs/ReleaseNotes.rst

 infrastructure are described first, followed by language-specific
 sections with improvements to Clang's support for those languages.
 
 Major New Features
 ------------------
 
 - ...
 
+Recovery ASTs
+^^^^^^^^^^^^^
+
+clang's AST now improves support for representing broken C++ code. This improves
+the quality of subsequent diagnostics after an error is encountered. It also
+exposes more information to tools like clang-tidy and clangd that consume
+clang’s AST, allowing them to be more accurate on broken code.
+
+A RecoveryExpr is introduced in clang's AST, marking an expression containing
+semantic errors. This preserves the source range and subexpressions of the
+broken expression in the AST (rather than discarding the whole expression).
+
+For the following invalid code:
+
+  .. code-block:: c++
+
+     int NoArg(); // Line 1
+     int x = NoArg(42); // oops!
+
+     // clang-10 produces the minimal placeholder:
+     // VarDecl <line:2:1, col:5> col:5 x 'int'
+
+     // clangd-11 produces a richer AST:
+     // VarDecl <line:2:1, col:16> col:5 x 'int' cinit
+     // `-RecoveryExpr <col:9, col:16> '<dependent type>' contains-errors lvalue
+     //    `-UnresolvedLookupExpr <col:9> '<overloaded function>' lvalue (ADL) = 'NoArg'
+     //    `-IntegerLiteral <col:15> 'int' 42
+
+Note that error-dependent types and values may now occur outside a template
+context. Tools may need to adjust assumptions about dependent code.
+
 Improvements to Clang's diagnostics
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 - -Wpointer-to-int-cast is a new warning group. This group warns about C-style
   casts of pointers to a integer type too small to hold all possible values.
 
 - -Wuninitialized-const-reference is a new warning controlled by 
   -Wuninitialized. It warns on cases where uninitialized variables are passed