Changelog #241

Author: lnicola

generated_assists.adoc

@@ -1,4 +1,4 @@
-//! Generated by `sourcegen_assists_docs`, do not edit by hand.
+//! Generated by `cargo codegen assists-doc-tests`, do not edit by hand.
 
 [discrete]
 === `add_braces`
@@ -1425,7 +1425,7 @@ impl Person {
 
 [discrete]
 === `generate_delegate_trait`
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/generate_delegate_trait.rs#L27[generate_delegate_trait.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/generate_delegate_trait.rs#L28[generate_delegate_trait.rs]
 
 Generate delegate trait implementation for `StructField`s.
 
@@ -2084,7 +2084,7 @@ impl<T: Clone> ${0:_} for Ctx<T> {}
 
 [discrete]
 === `inline_call`
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/inline_call.rs#L164[inline_call.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/inline_call.rs#L166[inline_call.rs]
 
 Inlines a function or method body creating a `let` statement per parameter unless the parameter
 can be inlined. The parameter will be inlined either if it the supplied argument is a simple local
@@ -2135,7 +2135,7 @@ fn something() -> &'static str {
 
 [discrete]
 === `inline_into_callers`
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/inline_call.rs#L27[inline_call.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/inline_call.rs#L29[inline_call.rs]
 
 Inline a function or method body into all of its callers where possible, creating a `let` statement per parameter
 unless the parameter can be inlined. The parameter will be inlined either if it the supplied argument is a simple local
@@ -2824,7 +2824,7 @@ fn main() {
 
 [discrete]
 === `qualify_path`
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/qualify_path.rs#L21[qualify_path.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/qualify_path.rs#L22[qualify_path.rs]
 
 If the name is unresolved, provides all possible qualified paths for it.
 
@@ -3358,7 +3358,7 @@ fn handle() {
 
 [discrete]
 === `replace_turbofish_with_explicit_type`
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/replace_turbofish_with_explicit_type.rs#L13[replace_turbofish_with_explicit_type.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/replace_turbofish_with_explicit_type.rs#L12[replace_turbofish_with_explicit_type.rs]
 
 Converts `::<_>` to an explicit type assignment.
 

generated_config.adoc

@@ -355,12 +355,6 @@ Default:
     "description": "Put the expression into a pinned `Box`",
     "scope": "expr"
   },
-  "Ok": {
-    "postfix": "ok",
-    "body": "Ok(${receiver})",
-    "description": "Wrap the expression in a `Result::Ok`",
-    "scope": "expr"
-  },
   "Err": {
     "postfix": "err",
     "body": "Err(${receiver})",
@@ -372,6 +366,12 @@ Default:
     "body": "Some(${receiver})",
     "description": "Wrap the expression in an `Option::Some`",
     "scope": "expr"
+  },
+  "Ok": {
+    "postfix": "ok",
+    "body": "Ok(${receiver})",
+    "description": "Wrap the expression in a `Result::Ok`",
+    "scope": "expr"
   }
 }
 ----
@@ -594,6 +594,11 @@ Whether to prefer import paths containing a `prelude` module.
 --
 The path structure for newly inserted paths to use.
 --
+[[rust-analyzer.imports.prefixExternPrelude]]rust-analyzer.imports.prefixExternPrelude (default: `false`)::
++
+--
+Whether to prefix external (including std, core) crate imports with `::`. e.g. "use ::std::io::Read;".
+--
 [[rust-analyzer.inlayHints.bindingModeHints.enable]]rust-analyzer.inlayHints.bindingModeHints.enable (default: `false`)::
 +
 --

generated_diagnostic.adoc

@@ -1,4 +1,4 @@
-//! Generated by `sourcegen_diagnostic_docs`, do not edit by hand.
+//! Generated by `cargo codegen diagnostics-docs`, do not edit by hand.
 
 === break-outside-of-loop
 **Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/break_outside_of_loop.rs#L3[break_outside_of_loop.rs]

generated_features.adoc

@@ -223,7 +223,7 @@ image::https://user-images.githubusercontent.com/48062697/113020654-b42fc800-917
 
 
 === Find All References
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/references.rs#L44[references.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/references.rs#L42[references.rs]
 
 Shows all references of the item at the cursor location
 
@@ -270,7 +270,7 @@ Navigates to the declaration of an identifier.
 
 This is the same as `Go to Definition` with the following exceptions:
 - outline modules will navigate to the `mod name;` item declaration
-- trait assoc items will navigate to the assoc item of the trait declaration opposed to the trait impl
+- trait assoc items will navigate to the assoc item of the trait declaration as opposed to the trait impl
 - fields in patterns will navigate to the field declaration of the struct, union or variant
 
 
@@ -334,7 +334,7 @@ Note: `?`, `|` and `->` do not currently trigger this behavior in the VSCode edi
 
 
 === Hover
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/hover.rs#L98[hover.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/hover.rs#L101[hover.rs]
 
 Shows additional information, like the type of an expression or the documentation for a definition when "focusing" code.
 Focusing is usually hovering with a mouse, but can also be triggered with a shortcut.
@@ -343,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#L433[inlay_hints.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/inlay_hints.rs#L441[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.
@@ -360,6 +360,23 @@ Optionally, one can enable additional hints for
 * elided lifetimes
 * compiler inserted reborrows
 
+Note: inlay hints for function argument names are heuristically omitted to reduce noise and will not appear if
+any of the
+link:https://github.com/rust-lang/rust-analyzer/blob/6b8b8ff4c56118ddee6c531cde06add1aad4a6af/crates/ide/src/inlay_hints/param_name.rs#L92-L99[following criteria]
+are met:
+
+* the parameter name is a suffix of the function's name
+* the argument is a qualified constructing or call expression where the qualifier is an ADT
+* exact argument<->parameter match(ignoring leading underscore) or parameter is a prefix/suffix
+  of argument with _ splitting it off
+* the parameter name starts with `ra_fixture`
+* the parameter name is a
+link:https://github.com/rust-lang/rust-analyzer/blob/6b8b8ff4c56118ddee6c531cde06add1aad4a6af/crates/ide/src/inlay_hints/param_name.rs#L200[well known name]
+in a unary function
+* the parameter name is a
+link:https://github.com/rust-lang/rust-analyzer/blob/6b8b8ff4c56118ddee6c531cde06add1aad4a6af/crates/ide/src/inlay_hints/param_name.rs#L201[single character]
+in a unary function
+
 image::https://user-images.githubusercontent.com/48062697/113020660-b5f98b80-917a-11eb-8d70-3be3fd558cdd.png[]
 
 
@@ -392,7 +409,7 @@ image::https://user-images.githubusercontent.com/48062697/113020661-b6922200-917
 
 
 === Magic Completions
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-completion/src/lib.rs#L45[lib.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-completion/src/lib.rs#L44[lib.rs]
 
 In addition to usual reference completion, rust-analyzer provides some ✨magic✨
 completions as well:
@@ -414,6 +431,7 @@ There are postfix completions, which can be triggered by typing something like
 - `expr.ref` -> `&expr`
 - `expr.refm` -> `&mut expr`
 - `expr.let` -> `let $0 = expr;`
+- `expr.lete` -> `let $1 = expr else { $0 };`
 - `expr.letm` -> `let mut $0 = expr;`
 - `expr.not` -> `!expr`
 - `expr.dbg` -> `dbg!(expr)`
@@ -556,7 +574,7 @@ image::https://user-images.githubusercontent.com/48062697/113171066-105c2000-923
 
 
 === Open Docs
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/doc_links.rs#L122[doc_links.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/doc_links.rs#L120[doc_links.rs]
 
 Retrieve a links to documentation for the given symbol.
 
@@ -585,7 +603,7 @@ image::https://user-images.githubusercontent.com/48062697/113065580-04c21800-91b
 
 
 === Related Tests
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/runnables.rs#L195[runnables.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/runnables.rs#L213[runnables.rs]
 
 Provides a sneak peek of all tests where the current item is used.
 
@@ -600,7 +618,7 @@ the selected item. The context menu opens. Select **Peek Related Tests**.
 
 
 === Rename
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/rename.rs#L72[rename.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/rename.rs#L73[rename.rs]
 
 Renames the item below the cursor and all of its references
 
@@ -614,7 +632,7 @@ image::https://user-images.githubusercontent.com/48062697/113065582-055aae80-91b
 
 
 === Run
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/runnables.rs#L111[runnables.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/runnables.rs#L113[runnables.rs]
 
 Shows a popup suggesting to run a test/benchmark/binary **at the current cursor
 location**. Super useful for repeatedly running just a single test. Do bind this
@@ -790,7 +808,7 @@ Randomizes all crate IDs in the crate graph, for debugging.
 
 
 === Status
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/status.rs#L28[status.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/status.rs#L27[status.rs]
 
 Shows internal statistic about memory usage of rust-analyzer.
 
@@ -803,7 +821,7 @@ image::https://user-images.githubusercontent.com/48062697/113065584-05f34500-91b
 
 
 === Structural Search and Replace
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-ssr/src/lib.rs#L8[lib.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-ssr/src/lib.rs#L6[lib.rs]
 
 Search and replace with named wildcards that will match any expression, type, path, pattern or item.
 The syntax for a structural search replace command is `<search_pattern> ==>> <replace_pattern>`.
@@ -1036,7 +1054,8 @@ workspace to dependencies.
 Note that filtering does not currently work in VSCode due to the editor never
 sending the special symbols to the language server. Instead, you can configure
 the filtering via the `rust-analyzer.workspace.symbol.search.scope` and
-`rust-analyzer.workspace.symbol.search.kind` settings.
+`rust-analyzer.workspace.symbol.search.kind` settings. Symbols prefixed
+with `__` are hidden from the search results unless configured otherwise.
 
 |===
 | Editor  | Shortcut

thisweek/_posts/2024-07-08-changelog-241.adoc

@@ -0,0 +1,37 @@
+= Changelog #241
+:sectanchors:
+:experimental:
+:page-layout: post
+
+Commit: commit:a5b21ea0aa644dffd7cf958b43f11f221d53404e[] +
+Release: release:2024-07-08[] (`v0.3.2029`)
+
+== New Features
+
+* pr:17508[] add walkthrough and FAQ pages.
+
+== Fixes
+
+* pr:17523[] (first contribution) add an option to use :: for the external crate prefix.
+* pr:17529[] fix lifetime parameters shifting parameter defaults.
+* pr:17534[] skip match exhaustiveness checking if pattern type contains errors.
+* pr:17536[] don't emit semantic diagnostics in files with a lot of syntax errors.
+* pr:17552[] use original source ranges in macro parameter completions.
+* pr:17554[] fix `callHierarchy` LSP violation.
+* pr:17541[] fix stack overflow on recursive calls with `impl Trait`.
+* pr:17494[] don't normalize `use foo::{self}` to `use foo`.
+* pr:17546[] diagnose unresolved `self` value in path expressions.
+* pr:17549[] fix runnable construction.
+* pr:17495[], pr:17548[] pass extra Cargo args when debugging.
+
+== Internal Improvements
+
+* pr:17522[] bump `rustc_pattern_analysis`.
+* pr:17551[] set `InferenceResult::has_errors` on error types.
+* pr:17526[] improve error message when the proc macro server unexpectedly exits.
+* pr:17535[] fix up the syntax tree for macro 2.0.
+* pr:17547[] clean up runnable LSP extension.
+* pr:17555[] inline generated syntax methods.
+* pr:17553[] move remaining codegen things to `xtask codegen`.
+* pr:17530[] move lifetimes in front of type and const params.
+* pr:17527[] move capability querying out of the config module.