Changelog #89

Author: lnicola

generated_assists.adoc

@@ -226,6 +226,31 @@ pub(crate) fn frobnicate() {}
 ```
 
 
+[discrete]
+=== `convert_if_to_bool_then`
+**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_assists/src/handlers/convert_bool_then.rs#L16[convert_bool_then.rs]
+
+Converts an if expression into a corresponding `bool::then` call.
+
+.Before
+```rust
+fn main() {
+    if┃ cond {
+        Some(val)
+    } else {
+        None
+    }
+}
+```
+
+.After
+```rust
+fn main() {
+    cond.then(|| val)
+}
+```
+
+
 [discrete]
 === `convert_integer_literal`
 **Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_assists/src/handlers/convert_integer_literal.rs#L5[convert_integer_literal.rs]
@@ -407,7 +432,7 @@ fn qux(bar: Bar, baz: Baz) {}
 
 [discrete]
 === `extract_function`
-**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_assists/src/handlers/extract_function.rs#L31[extract_function.rs]
+**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_assists/src/handlers/extract_function.rs#L32[extract_function.rs]
 
 Extracts selected statements into new function.
 
@@ -457,7 +482,7 @@ enum A { One(One) }
 
 [discrete]
 === `extract_type_alias`
-**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_assists/src/handlers/extract_type_alias.rs#L8[extract_type_alias.rs]
+**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_assists/src/handlers/extract_type_alias.rs#L10[extract_type_alias.rs]
 
 Extracts the selected type as a type alias.
 
@@ -1102,9 +1127,9 @@ fn foo(name: Option<&str>) {
 
 [discrete]
 === `inline_local_variable`
-**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_assists/src/handlers/inline_local_variable.rs#L15[inline_local_variable.rs]
+**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_assists/src/handlers/inline_local_variable.rs#L17[inline_local_variable.rs]
 
-Inlines local variable.
+Inlines a local variable.
 
 .Before
 ```rust
@@ -1592,7 +1617,7 @@ fn main() {
 
 [discrete]
 === `replace_derive_with_manual_impl`
-**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_assists/src/handlers/replace_derive_with_manual_impl.rs#L19[replace_derive_with_manual_impl.rs]
+**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_assists/src/handlers/replace_derive_with_manual_impl.rs#L21[replace_derive_with_manual_impl.rs]
 
 Converts a `derive` impl into a manual one.
 
@@ -1608,8 +1633,8 @@ struct S;
 struct S;
 
 impl Debug for S {
-    fn fmt(&self, f: &mut Formatter) -> Result<()> {
-        ${0:todo!()}
+    ┃fn fmt(&self, f: &mut Formatter) -> Result<()> {
+        f.debug_struct("S").finish()
     }
 }
 ```

generated_diagnostic.adoc

@@ -1,5 +1,13 @@
 //! Generated by `sourcegen_diagnostic_docs`, do not edit by hand.
 
+// IMPORTANT: master copy of this document lives in the https://github.com/rust-analyzer/rust-analyzer repository
+
+== add-reference-here
+**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_diagnostics/src/handlers/add_reference_here.rs#L8[add_reference_here.rs]
+
+This diagnostic is triggered when there's a missing referencing of expression.
+
+
 // IMPORTANT: master copy of this document lives in the https://github.com/rust-analyzer/rust-analyzer repository
 
 == break-outside-of-loop

generated_features.adoc

@@ -256,7 +256,7 @@ Highlights constructs related to the thing under the cursor:
 // IMPORTANT: master copy of this document lives in the https://github.com/rust-analyzer/rust-analyzer repository
 
 == Hover
-**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide/src/hover.rs#L74[hover.rs]
+**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide/src/hover.rs#L70[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.
@@ -389,7 +389,7 @@ image::https://user-images.githubusercontent.com/48062697/113065573-04298180-91b
 // IMPORTANT: master copy of this document lives in the https://github.com/rust-analyzer/rust-analyzer repository
 
 == Memory Usage
-**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_db/src/apply_change.rs#L95[apply_change.rs]
+**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_db/src/apply_change.rs#L67[apply_change.rs]
 
 Clears rust-analyzer's internal database and prints memory usage statistics.
 
@@ -639,8 +639,9 @@ documentation:: Emitted for documentation comments.
 injected:: Emitted for doc-string injected highlighting like rust source blocks in documentation.
 intraDocLink:: Emitted for intra doc links in doc-strings.
 library:: Emitted for items that are defined outside of the current crate.
+mutable:: Emitted for mutable locals and statics as well as functions taking `&mut self`.
 public:: Emitted for items that are from the current crate and are `pub`.
-mutable:: Emitted for mutable locals and statics.
+reference: Emitted for locals behind a reference and functions taking `self` by reference.
 static:: Emitted for "static" functions, also known as functions that do not take a `self` param, as well as statics and consts.
 trait:: Emitted for associated trait items.
 unsafe:: Emitted for unsafe operations, like unsafe function calls, as well as the `unsafe` token.

manual.adoc

@@ -622,6 +622,8 @@ interface Crate {
     /// the `env!` macro
     env: : { [key: string]: string; },
 
+    /// Whether the crate is a proc-macro crate.
+    is_proc_macro: bool;
     /// For proc-macro crates, path to compiled
     /// proc-macro (.so file).
     proc_macro_dylib_path?: string;
@@ -641,7 +643,7 @@ Specifically, the `roots` setup will be different eventually.
 
 There are three ways to feed `rust-project.json` to rust-analyzer:
 
-* Place `rust-project.json` file at the root of the project, and rust-anlayzer will discover it.
+* Place `rust-project.json` file at the root of the project, and rust-analyzer will discover it.
 * Specify `"rust-analyzer.linkedProjects": [ "path/to/rust-project.json" ]` in the settings (and make sure that your LSP client sends settings as a part of initialize request).
 * Specify `"rust-analyzer.linkedProjects": [ { "roots": [...], "crates": [...] }]` inline.
 

thisweek/_posts/2021-08-09-changelog-89.adoc

@@ -0,0 +1,66 @@
+= Changelog #89
+:sectanchors:
+:page-layout: post
+
+Commit: commit:5664a2b0b31403024ce5ab927760d630d5ddc9a4[] +
+Release: release:2021-08-09[]
+
+== Sponsors
+
+**Become a sponsor:** On https://opencollective.com/rust-analyzer/[OpenCollective] or
+https://github.com/sponsors/rust-analyzer[GitHub Sponsors].
+
+== New Features
+
+* pr:9752[] (first contribution) support `proc_macro` dependencies in `project.json`.
+* pr:9785[] (first contribution) add struct literal completion:
++
+image::https://user-images.githubusercontent.com/35599359/128211142-116361e9-7a69-425f-83ea-473c6ea47b26.gif[]
+* pr:9814[] generate default code when converting ``#[derive(Debug)]`` to a manual implementation:
++
+image::https://user-images.githubusercontent.com/308347/128694292-99a3e694-dd2b-42f5-9e38-798217f433b0.gif[]
+* pr:9761[] show coerced types on hover:
++
+image::https://user-images.githubusercontent.com/3757771/127883884-2935b624-a3e5-4f35-861a-7d6d3266d187.png[]
++
+image::https://user-images.githubusercontent.com/3757771/127883951-4ff96b6b-7576-4886-887b-1198c1121841.png[]
+* pr:9800[] include suggested replacement in diagnostics:
++
+image::https://user-images.githubusercontent.com/1786438/128521022-c16e0967-6cc6-410d-917d-5db5cfbb96be.png[]
+* pr:9810[] add "missing reference" diagnostic:
++
+image::https://user-images.githubusercontent.com/308347/128681441-9024a0b1-1ef6-4b3c-92e1-01ac3497aa1e.png[]
+* pr:9816[] implement "Convert `if` to ``bool::then``" assist:
++
+image::https://user-images.githubusercontent.com/308347/128693801-51eeec03-55e5-4dd8-8fff-5b84251e7a12.gif[]
+* pr:9734[] add `reference` semantic highlighting modifier.
+* pr:9806[] add support for the 1.56 nightly proc macro ABI.
+* pr:9772[] filter out duplicate macro completions.
+
+== Fixes
+
+* pr:9771[] (first contribution) give better error message when the `rust-analyzer` binary path is invalid.
+* pr:9801[] don't publish diagnostics in crates.io or sysroot files.
+* pr:9762[] fix ranged hover result range.
+* pr:9764[] don't use the module as the candidate node in fuzzy path flyimport.
+* pr:9770[] downgrade `notify` to fix building on NetBSD.
+* pr:9773[] improve the "Extract function" assist.
+* pr:9775[] handle ownership in "Extract function".
+* pr:9786[] fix detection of macro files in the inactive code diagostic.
+* pr:9788[] don't move locals defined outside loops in "Extract function".
+* pr:9780[] support `exclusive_range_pattern`.
+* pr:9790[] handle generics correctly in "Extract type alias".
+* pr:9794[] fix binders with bare `dyn Trait`.
+* pr:9808[] gather enum variants and associated trait functions when collecting lang items.
+* pr:9812[] add `!` to macro completions with existing argument list.
+* pr:9817[] increase `chalk` overflow depth for `tonic`.
+
+== Internal Improvements
+
+* pr:9756[] make `resolve_doc_path` is  to resolve to macros.
+* pr:9757[] completion cleanups.
+* pr:9758[] explain that we don't `ref` in `style.md`.
+* pr:9759[] simplify `inline_local_variable` assist.
+* pr:9751[] make `LoadCargoConfig`, `fn load_workspace_at` and `fn load_workspace` public again.
+* pr:9765[] introduce `TypeInfo` to record coercions and other adjustments.
+* pr:9793[] remove unused structs in `ide_db`.