Changelog #171

Author: lnicola

generated_assists.adoc

@@ -1431,7 +1431,7 @@ impl From<u32> for A {
 
 [discrete]
 === `generate_function`
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/generate_function.rs#L26[generate_function.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-assists/src/handlers/generate_function.rs#L27[generate_function.rs]
 
 Adds a stub function with a signature matching the function under the cursor.
 
@@ -2337,14 +2337,14 @@ Removes `dbg!()` macro call.
 .Before
 ```rust
 fn main() {
-    ┃dbg!(92);
+    let x = ┃dbg!(42 * dbg!(4 + 2));┃
 }
 ```
 
 .After
 ```rust
 fn main() {
-    92;
+    let x = 42 * (4 + 2);
 }
 ```
 

generated_config.adoc

@@ -537,6 +537,11 @@ Only applies to closures with blocks, same as `#rust-analyzer.inlayHints.closure
 --
 Whether to hide inlay type hints for constructors.
 --
+[[rust-analyzer.interpret.tests]]rust-analyzer.interpret.tests (default: `false`)::
++
+--
+Enables the experimental support for interpreting tests.
+--
 [[rust-analyzer.joinLines.joinAssignments]]rust-analyzer.joinLines.joinAssignments (default: `true`)::
 +
 --

generated_diagnostic.adoc

@@ -6,6 +6,12 @@
 This diagnostic is triggered if the `break` keyword is used outside of a loop.
 
 
+=== expected-function
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/expected_function.rs#L5[expected_function.rs]
+
+This diagnostic is triggered if a call is made on something that is not callable.
+
+
 === inactive-code
 **Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/inactive_code.rs#L6[inactive_code.rs]
 
@@ -95,9 +101,9 @@ This diagnostic is triggered when `.filter_map(..).next()` is used, rather than
 
 
 === type-mismatch
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/type_mismatch.rs#L11[type_mismatch.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/type_mismatch.rs#L12[type_mismatch.rs]
 
-This diagnostic is triggered when the type of an expression does not match
+This diagnostic is triggered when the type of an expression or pattern does not match
 the expected type.
 
 
@@ -126,6 +132,12 @@ Diagnostic for unnecessary braces in `use` items.
 This diagnostic is triggered if rust-analyzer is unable to discover referred extern crate.
 
 
+=== unresolved-field
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/unresolved_field.rs#L13[unresolved_field.rs]
+
+This diagnostic is triggered if a field does not exist on a given type.
+
+
 === unresolved-import
 **Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/unresolved_import.rs#L3[unresolved_import.rs]
 
@@ -140,6 +152,12 @@ This diagnostic is triggered if rust-analyzer is unable to resolve the path
 to a macro in a macro invocation.
 
 
+=== unresolved-method
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/unresolved_method.rs#L13[unresolved_method.rs]
+
+This diagnostic is triggered if a method does not exist on a given type.
+
+
 === unresolved-module
 **Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-diagnostics/src/handlers/unresolved_module.rs#L8[unresolved_module.rs]
 

generated_features.adoc

@@ -68,7 +68,7 @@ image::https://user-images.githubusercontent.com/48062697/113020673-b85be580-917
 
 
 === Completion With Autoimport
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-completion/src/completions/flyimport.rs#L23[flyimport.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide-completion/src/completions/flyimport.rs#L20[flyimport.rs]
 
 When completing names in the current scope, proposes additional imports from other modules or crates,
 if they can be qualified in the scope, and their name contains all symbols from the completion input.
@@ -332,7 +332,7 @@ Note: `?` and `->` do not currently trigger this behavior in the VSCode editor.
 
 
 === Hover
-**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/hover.rs#L81[hover.rs]
+**Source:** https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide/src/hover.rs#L82[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.

thisweek/_posts/2023-03-06-changelog-171.adoc

@@ -0,0 +1,39 @@
+= Changelog #171
+:sectanchors:
+:experimental:
+:page-layout: post
+
+Commit: commit:0a956ec9326eca09725d64d9f1b63896f93505d1[] +
+Release: release:2023-03-06[] (`v0.3.1426`)
+
+== New Features
+
+* pr:14240[] diagnose `break` with value in incorrect positions:
++
+image::https://user-images.githubusercontent.com/3757771/222832086-1d3b2095-5cee-416f-ab59-47a6188aa6f7.png["Screenshot showing an error on `while true { break 0; }` and `for _ in [()] { break 0; }`"]
+* pr:14243[] diagnose unresolved field, method call and call expression:
++
+image::https://user-images.githubusercontent.com/3757771/222831604-4e7886a6-d2f3-4672-835c-affeafb9fa8b.png["Screenshot showing errors on various unresolved fields and methods]
+* pr:14238[] allow "Generate function" to create functions in a different local crate.
+* pr:14222[], pr:14245[] implement pattern mismatch diagnostics, but keep them disabled.
+
+== Fixes
+
+* pr:14185[] (first contribution) fix running doctests for structs with lifetime parameters.
+* pr:14208[] (first contribution) fix path resolution in the presence of functions and structs with the same name.
+* pr:14223[] implement rendering of tuples in constant values.
+* pr:14225[] removing nested ``dbg!()``s in "Remove ``dbg!()``".
+* pr:14176[] fix associated item visibility in block-local impls.
+* pr:14239[] load the sysroot in all CLI commands.
+* pr:14247[] generate correct completion edits for missing macro arguments.
+* pr:14255[] bring back the hex display in const hover.
+
+== Internal Improvements
+
+* pr:14040[] introduce a MIR and use it for constant evaluation.
+* pr:14218[], pr:14234[] de-duplicate source roots that have overlapping include paths.
+* pr:14184[] handle trait alias definitions.
+* pr:14244[] report type metrics for patterns.
+* pr:14251[] set unit type expectation for expression statements without a semicolon.
+* pr:14252[] handle fields called as method calls as the fields they resolve to.
+* pr:14213[] add API to get `raw_ptr` type.