Changelog #182

Author: lnicola

generated_assists.adoc

@@ -52,7 +52,7 @@ fn main() {
 
 [discrete]
 === `add_hash`
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/raw_string.rs#L88[raw_string.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/raw_string.rs#L89[raw_string.rs]
 
 Adds a hash to a raw string literal.
 
@@ -1976,7 +1976,7 @@ fn main() {
 
 [discrete]
 === `make_usual_string`
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/raw_string.rs#L46[raw_string.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/raw_string.rs#L47[raw_string.rs]
 
 Turns a raw string into a plain string.
 
@@ -2380,7 +2380,7 @@ fn main() {
 
 [discrete]
 === `remove_hash`
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/raw_string.rs#L116[raw_string.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/raw_string.rs#L117[raw_string.rs]
 
 Removes a hash from a raw string literal.
 

generated_diagnostic.adoc

@@ -87,6 +87,12 @@ This diagnostic is triggered if `match` block is missing one or more match arms.
 This diagnostic is triggered if an operation marked as `unsafe` is used outside of an `unsafe` function or block.
 
 
+=== moved-out-of-ref
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/moved_out_of_ref.rs#L4[moved_out_of_ref.rs]
+
+This diagnostic is triggered on moving non copy things out of references.
+
+
 === need-mut
 **Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/mutability_errors.rs#L7[mutability_errors.rs]
 

generated_features.adoc

@@ -319,16 +319,18 @@ image::https://user-images.githubusercontent.com/48062697/113020657-b560f500-917
 
 
 === Highlight Related
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/highlight_related.rs#L37[highlight_related.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/highlight_related.rs#L39[highlight_related.rs]
 
 Highlights constructs related to the thing under the cursor:
 
 . if on an identifier, highlights all references to that identifier in the current file
+.. additionally, if the identifier is a trait in a where clause, type parameter trait bound or use item, highlights all references to that trait's assoc items in the corresponding scope
 . if on an `async` or `await token, highlights all yield points for that async context
 . if on a `return` or `fn` keyword, `?` character or `->` return type arrow, highlights all exit points for that context
 . if on a `break`, `loop`, `while` or `for` token, highlights all break points for that loop or block context
+. if on a `move` or `|` token that belongs to a closure, highlights all captures of the closure.
 
-Note: `?` and `->` do not currently trigger this behavior in the VSCode editor.
+Note: `?`, `|` and `->` do not currently trigger this behavior in the VSCode editor.
 
 
 === Hover
@@ -341,7 +343,7 @@ image::https://user-images.githubusercontent.com/48062697/113020658-b5f98b80-917
 
 
 === Inlay Hints
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/inlay_hints.rs#L384[inlay_hints.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/inlay_hints.rs#L392[inlay_hints.rs]
 
 rust-analyzer shows additional information inline with the source code.
 Editors usually render this using read-only virtual text snippets interspersed with code.
@@ -627,7 +629,7 @@ image::https://user-images.githubusercontent.com/48062697/113065583-055aae80-91b
 
 
 === Semantic Syntax Highlighting
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/syntax_highlighting.rs#L62[syntax_highlighting.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/syntax_highlighting.rs#L65[syntax_highlighting.rs]
 
 rust-analyzer highlights the code semantically.
 For example, `Bar` in `foo::Bar` might be colored differently depending on whether `Bar` is an enum or a trait.
@@ -762,7 +764,7 @@ image::https://user-images.githubusercontent.com/5748995/229394139-2625beab-f4c9
 
 
 === Show Syntax Tree
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/syntax_tree.rs#L7[syntax_tree.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/syntax_tree.rs#L9[syntax_tree.rs]
 
 Shows the parse tree of the current file. It exists mostly for debugging
 rust-analyzer itself.

thisweek/_posts/2023-05-22-changelog-182.adoc

@@ -0,0 +1,54 @@
+= Changelog #182
+:sectanchors:
+:experimental:
+:page-layout: post
+
+Commit: commit:7ac161ce77dfa31dc39337c2543a1d777e70c16e[] +
+Release: release:2023-05-22[] (`v0.3.1524`)
+
+== New Features
+
+* pr:14775[] add `#[doc(alias(..))]`-based method completions:
++
+image::https://user-images.githubusercontent.com/108802164/237368212-e7c69bb9-3da6-4d8f-a09b-fece1bdd1c0e.png["Screenshot showing completion for method aliases"]
+* pr:14811[] render hover actions for closure captures and signature:
++
+image::https://user-images.githubusercontent.com/308347/239809224-3df598fc-2203-41d8-8afa-3f0a0a360e00.png["Screenshot showing a closure hover with 'Go to' links for returned and captured types, and also its signature"]
+* pr:14812[] highlight used associated trait items when cursor is on trait import or trait bound:
++
+image::https://user-images.githubusercontent.com/308347/239808933-634a3e29-d79b-4f20-8370-64944e7c9f72.png["Screenshot showing usages of a trait items]
+* pr:14789[] add `moved-out-of-ref` diagnostic:
++
+image::https://user-images.githubusercontent.com/308347/239808632-c8362c50-10af-4463-a1f6-1428b901a02f.png["Screenshot showing a diagnostic when a local is moved out of a reference"]
+* pr:14845[] add layout info for enum variant and locals:
++
+image::https://user-images.githubusercontent.com/308347/239808173-1f4a2da1-8137-4661-9407-1a3615d38a07.png["Screenshot showing the size of an enum variant on hover"]
+* pr:14837[] support C string literals.
+* pr:14787[] MIR episode 5, lower slice patterns and anonymous `const` blocks.
+
+== Fixes
+
+* pr:14848[] (first contribution) traverse `else` blocks of `let-else` in `preorder_expr`.
+* pr:14809[] support `#[macro_use(name, ...)]`.
+* pr:14824[] diagnose non-value `return` and `break` type mismatches.
+* pr:14825[] fix evaluation of negation for floating point types.
+* pr:14828[] process `macro_use` prelude in semantic scope resolver.
+* pr:14823[] only render discriminant hints for data-carrying enums with primitive `repr`.
+* pr:14822[] force-disable the `augmentsSyntaxTokens` capability on VS Code.
+* pr:14802[] fix layout for `hir_ty::Ty` and friends.
+* pr:14820[] expand `format_args!` with more details.
+* pr:14851[] handle match scrutinee in closure captures.
+* pr:14855[] consider block impls in `lookup_impl_assoc_item_for_trait_ref`.
+* pr:14863[] consider all tokens in macro calls when analyzing locals.
+
+== Internal Improvements
+
+* pr:14746[] parse unstable associated return type bounds.
+* pr:14794[], pr:14818[], pr:14835[] restructure `InlayHint`, no longer derive properties from its kind.
+* pr:14810[] inline handlers module.
+* pr:14834[] do less file parsing for symbol index generation.
+* pr:14836[] bump `rustc_lexer`.
+* pr:14843[] partially support panic message in `MirEvalError`.
+* pr:14847[] reduce MIR memory usage.
+* pr:14857[] shrink `ProcMacroExpander` from 8 to 4 bytes.
+* pr:14819[] fix division by zero in `analysis-stats`.