Changelog #122

Author: lnicola

generated_assists.adoc

@@ -1312,7 +1312,6 @@ struct Ctx<T: Clone> {
 }
 
 impl<T: Clone> Ctx<T> {
-    #[must_use]
     fn ┃new(data: T) -> Self { Self { data } }
 }
 ```

generated_config.adoc

@@ -223,7 +223,7 @@ Enables completions of private items and fields that are defined in the current
 --
 Whether to show native rust-analyzer diagnostics.
 --
-[[rust-analyzer.diagnostics.enableExperimental]]rust-analyzer.diagnostics.enableExperimental (default: `true`)::
+[[rust-analyzer.diagnostics.enableExperimental]]rust-analyzer.diagnostics.enableExperimental (default: `false`)::
 +
 --
 Whether to show experimental rust-analyzer diagnostics that might
@@ -383,7 +383,7 @@ Whether to show inlay type hints for return types of closures with blocks.
 --
 Whether to show inlay type hints for compiler inserted reborrows.
 --
-[[rust-analyzer.inlayHints.lifetimeElisionHints]]rust-analyzer.inlayHints.lifetimeElisionHints (default: `"never"`)::
+[[rust-analyzer.inlayHints.lifetimeElisionHints.enable]]rust-analyzer.inlayHints.lifetimeElisionHints.enable (default: `"never"`)::
 +
 --
 Whether to show inlay type hints for elided lifetimes in function signatures.

generated_diagnostic.adoc

@@ -1,11 +1,5 @@
 //! Generated by `sourcegen_diagnostic_docs`, do not edit by hand.
 
-=== 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.
-
-
 === break-outside-of-loop
 **Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_diagnostics/src/handlers/break_outside_of_loop.rs#L3[break_outside_of_loop.rs]
 
@@ -69,21 +63,6 @@ let a = A { a: 10 };
 This diagnostic is triggered if `match` block is missing one or more match arms.
 
 
-=== missing-ok-or-some-in-tail-expr
-**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_diagnostics/src/handlers/missing_ok_or_some_in_tail_expr.rs#L10[missing_ok_or_some_in_tail_expr.rs]
-
-This diagnostic is triggered if a block that should return `Result` returns a value not wrapped in `Ok`,
-or if a block that should return `Option` returns a value not wrapped in `Some`.
-
-Example:
-
-```rust
-fn foo() -> Result<u8, ()> {
-    10
-}
-```
-
-
 === missing-unsafe
 **Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_diagnostics/src/handlers/missing_unsafe.rs#L3[missing_unsafe.rs]
 
@@ -96,18 +75,19 @@ This diagnostic is triggered if an operation marked as `unsafe` is used outside
 This diagnostic is triggered if created structure does not have field provided in record.
 
 
-=== remove-this-semicolon
-**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_diagnostics/src/handlers/remove_this_semicolon.rs#L10[remove_this_semicolon.rs]
-
-This diagnostic is triggered when there's an erroneous `;` at the end of the block.
-
-
 === replace-filter-map-next-with-find-map
 **Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_diagnostics/src/handlers/replace_filter_map_next_with_find_map.rs#L11[replace_filter_map_next_with_find_map.rs]
 
 This diagnostic is triggered when `.filter_map(..).next()` is used, rather than the more concise `.find_map(..)`.
 
 
+=== type-mismatch
+**Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_diagnostics/src/handlers/type_mismatch.rs#L14[type_mismatch.rs]
+
+This diagnostic is triggered when the type of an expression does not match
+the expected type.
+
+
 === unimplemented-builtin-macro
 **Source:** https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide_diagnostics/src/handlers/unimplemented_builtin_macro.rs#L3[unimplemented_builtin_macro.rs]
 

thisweek/_posts/2022-03-28-changelog-122.adoc

@@ -0,0 +1,45 @@
+= Changelog #122
+:sectanchors:
+:page-layout: post
+
+Commit: commit:bc08b8eff3f8e4da7c448d7b7f6461938c817a60[] +
+Release: release:2022-03-28[]
+
+== Sponsors
+
+**Become a sponsor:** On https://opencollective.com/rust-analyzer/[OpenCollective] or
+https://github.com/sponsors/rust-analyzer[GitHub Sponsors].
+
+== New Features
+
+* pr:11780[] add experimental type mismatch diagnostic (can be disabled using `rust-analyzer.diagnostics.disabled`: ["type-mismatch"]):
++
+video::https://user-images.githubusercontent.com/308347/160331321-fc1b9b82-afc4-4764-85fb-4c4caee78b7b.mp4[options=loop]
+* pr:11809[] disable experimental diagnostics by default (can be re-enabled using `rust-analyzer.diagnostics.enableExperimental`).
+* pr:11772[] support constants in const eval.
+
+== Fixes
+
+* pr:11789[] rename lifetime elision hint configuration key to `rust-analyzer.inlayHints.lifetimeElisionHints.enable`.
+* pr:11805[] don't try to resolve methods on unknown types.
+* pr:11800[] fix `#[macro_use]` no longer importing non-`macro_rules!` macros.
+* pr:11806[] fix async block type inference using containing function return type.
+* pr:11797[] fix unwrap on a `None` value in proc macros built with Rust 1.57.0.
+* pr:11801[] avoid returning `None` from `Span::join` to fix some proc macros.
+* pr:11826[] stop emitting `#[must_use]` in `Generate new` assist.
+* pr:11782[] fix flyimport showing functions in pattern position.
+* pr:11785[] fix tuple- and record struct completions not working with existing braces.
+* pr:11786[] don't add wildcard pattern for `fill_match_arms` with local enums.
+* pr:11795[] correctly suggest auto importing traits from aliases.
+* pr:11791[] fix and improve signature help.
+* pr:11802[] add stubs to make proc macros work that use the `SourceFile` API.
+* pr:11825[] don't complete `Drop::drop` for qualified paths.
+* pr:11831[] disable ref_match for qualified paths as well.
+
+== Internal Improvements
+
+* pr:11793[] (first contribution) consolidate LSIF references into a single edge where possible.
+* pr:11788[] improve `find_path` and extern prelude handling.
+* pr:11833[] move mismatched arg count diagnostic to inference.
+* pr:11776[] replace `write!` with direct `Formatter` calls.
+* pr:11810[] rename the 1.47 proc macro ABI to 1.48.