Add regression test

fix: handle lifetime variables in `CallableSig` query

Auto merge of #13830 - nyurik:lints, r=lnicola

Minor manual cleanup

* use default derive
* use `strip_prefix` where possible to avoid dup work

Auto merge of #13831 - bvanjoi:fix_bound_type_in_trait_insert, r=Veykril

fix(completion): remove bound insert of type in trait

Fixed https://github.com/rust-lang/rust-analyzer/issues/13819

fix(completion): remove bound insert of type in trait

Minor manual cleanu

* use default derive
* use `strip_prefix` where possible to avoid dup work

Auto merge of #13829 - nyurik:explicit-auto-deref, r=lnicola

Clippy-fix explicit auto-deref

Seems like these can be safely fixed. With one, I was particularly surprised -- `Some(pats) => &**pats,` in body.rs?

```
cargo clippy --fix -- -A clippy::all -D clippy::explicit_auto_deref
```

Clippy-fix explicit auto-deref

Seems like these can be safely fixed. With one, I was particularly
surprised -- `Some(pats) => &**pats,` in body.rs?

```
cargo clippy --fix -- -A clippy::all -D clippy::explicit_auto_deref
```

Auto merge of #13828 - nyurik:rm-dup-clone, r=lnicola

Remove non-needed clones

I am not certain if this will improve performance, but it seems having a .clone() without any need should be removed.

This was done with clippy, and manually reviewed:

```
cargo clippy --fix -- -A clippy::all -D clippy::redundant_clone
```

Remove non-needed clones

I am not certain if this will improve performance,
but it seems having a .clone() without any need should be removed.

This was done with clippy, and manually reviewed:

```
cargo clippy --fix -- -A clippy::all -D clippy::redundant_clone
```

Auto merge of #13820 - Veykril:or-pat-bm-fix, r=Veykril

Fix binding mode hints always adding parentheses to or-patterns

Auto merge of #13822 - WaffleLapkin:famous, r=Veykril

internal: Pass `FamousDefs` around in inlay hints

Bind after at go brrrrr

Pass `FamousDefs` around in inlay hints

Auto merge of #13817 - WaffleLapkin:hide_adjustment_hints_outside_of_unsafe, r=Veykril

feat: Add an option to hide adjustment hints outside of `unsafe` blocks and functions

As the title suggests: this PR adds an option (namely `rust-analyzer.inlayHints.expressionAdjustmentHints.hideOutsideUnsafe`) that allows to hide adjustment hints outside of `unsafe` blocks and functions:


Requested by `@BoxyUwU` <3

Fix binding mode hints always adding parentheses to or-patterns

Apply suggestions from code review

Co-authored-by: Lukas Wirth <lukastw97@gmail.com>

Auto merge of #13699 - HKalbasi:inlaylink, r=Veykril

Implement location link for type inlay hints

fix #11701

This actually doesn't work due a problem in vscode: https://github.com/microsoft/vscode/issues/167564

Auto merge of #13818 - Veykril:layout, r=Veykril

Simplify

Move `is_inside_unsafe` to `Semantics` impl

Simplify

Auto merge of #13814 - Veykril:layout, r=Veykril

Calculate the TargetDataLayout correctly for the selected target

This fails the tests still since those don't call into rustc yet

Fix tests not using appropriate target data

Add an option to hide adjustment hints outside of unsafe blocks

Auto merge of #13771 - noritada:feature/release-notes-on-github-releases, r=lnicola

Add xtask for publishing release notes in Markdown on GitHub Releases from a changelog in AsciiDoc

This PR provides `xtask publish-release-notes` to convert a changelog written in AsciiDoc to Markdown and update descriptions (release notes) of a corresponding entry on GitHub Releases.

This AsciiDoc parser is not capable of processing every AsciiDoc document, but I have surveyed a set of existing changelog entries and have confirmed that the following notations used can be converted properly. In the future, I would like to improve the parser to accept any AsciiDoc.  Alternatively, the parser could be moved out of the project.

Your feedback would be appreciated!

Closes #13191

### Supported AsciiDoc syntax

many occurrences
- [x] documentation header
- [x] section header
- [x] `*`-prefixed basic unordered single level list item
- [x] list continuation using `+`
- [x] block image macro `image::...[]` with empty alt
- [x] block image macro `image::...[]` with non-empty alt
- [x] block video marco `video::...[]` with `options=loop`
- [x] inline hard line break `+`
- [x] inline custom macro `commit:...[]`
- [x] inline custom macro `release:...[]`
- [x] inline custom macro `pr:...[]`
- [x] inline unconstrained bold text `**...**`
- [x] inline constrained monospace ``` `...`  ```

[thisweek/_posts/2019-07-24-changelog-0.adoc](https://github.com/rust-analyzer/rust-analyzer.github.io/tree/src/thisweek/_posts#:~:text=2019%2D07%2D24%2Dchangelog%2D0.adoc)
- [x] paragraphs
- [x] mixture of `*` and `-` for unordered list item prefix
- [x] inline external link `https://...[]`

[thisweek/_posts/2020-01-13-changelog-7.adoc](https://github.com/rust-analyzer/rust-analyzer.github.io/tree/src/thisweek/_posts#:~:text=2020%2D01%2D13%2Dchangelog%2D7.adoc)
- [x] list item with multiline principal text with indent
- [x] inline image macro `image:...[]`

[thisweek/_posts/2020-03-02-changelog-14.adoc](https://github.com/rust-analyzer/rust-analyzer.github.io/blob/src/thisweek/_posts/2020-03-02-changelog-14.adoc)
- [x] empty lines between list items
- [x] nested unordered list item with `**`
- [x] inline macro `kbd:[...]`

[thisweek/_posts/2020-03-16-changelog-16.adoc](https://github.com/rust-analyzer/rust-analyzer.github.io/blob/src/thisweek/_posts/2020-03-16-changelog-16.adoc)
- [x] `[source]`-prefixed listing

[thisweek/_posts/2020-04-06-changelog-19.adoc](https://github.com/rust-analyzer/rust-analyzer.github.io/blob/src/thisweek/_posts/2020-04-06-changelog-19.adoc)
- [x] list item with multiline principal text without indent
- [x] `[source,lang]`-prefixed listing
- [x] `.`-prefiexed ordered list item
- [x] list item immediately after list continuation paragraph without an empty line in between

[thisweek/_posts/2020-04-20-changelog-21.adoc](https://github.com/rust-analyzer/rust-analyzer.github.io/blob/src/thisweek/_posts/2020-04-20-changelog-21.adoc)
- [x] title line for block image

[thisweek/_posts/2020-12-21-changelog-56.adoc](https://github.com/rust-analyzer/rust-analyzer.github.io/blob/src/thisweek/_posts/2020-12-21-changelog-56.adoc)
- [x] block video `video::...[]` with `options="autoplay,loop"`

Drive-by cleanup: fully qualify `ast::Expr` in `hir`

Disable inlay hint location links on vscode < 1.76

Calculate the TargetDataLayout correctly for the selected target

Implement location link for type inlay hints

Auto merge of #13806 - WaffleLapkin:typed_blåhaj, r=Veykril

fix: Skip adjustment hints if the adjustment is identity (`T` -> `T`)

Supersedes https://github.com/rust-lang/rust-analyzer/pull/13765

Skip adjustment hints if the adjustment doesn't adjust

Save source & target types in `hir`'s `expr_adjustments`

Auto merge of #13764 - WaffleLapkin:badassexprs, r=Veykril

fix: Correctly check for parentheses redundancy in `remove_parentheses` assist

This is quite a bunch of code and some hacks, but I _think_ this time it's correct.

I've added a lot of tests, most of which fail with the assist impl from #13733 :')

Auto merge of #13805 - ntBre:master, r=jonas-schievink

Complete enum variants without parens when snippets are disabled

This handles the portion of #13767 that bothered me, but I can try to work on the other parts we discussed if needed.

pass `snippet_cap` to `format_literal_label`, return early if None

return immediately from `render_tuple_lit` if `snippet_cap` is None

partially addresses #13767

Don't panic in `Expr::needs_parens_in`

Auto merge of #13804 - WaffleLapkin:inlay_hint_mods, r=Veykril

Split inlay hints into modules per hint type

I think this makes the code a lot easier to maintain.

Add docs to make tidy tests happy :')

Move inlay hints tests into implementation modules

Split inlay hints into modules

Auto merge of #13800 - lowr:fix/mbe-expr-backwards-compat, r=Veykril

fix: don't let mbe expr fragments match let exprs and inline consts

Fixes #11729

`expr` fragment in mbe should not match let expressions and inline consts for backwards compatibility. See rust-lang/rust#86730 for details.

This patch is porting [this logic in rustc](https://github.com/rust-lang/rust/blob/f0c4da49983aa699f715caf681e3154b445fb60b/compiler/rustc_parse/src/parser/nonterminal.rs#L28-L34) (which is called [here in rustc's mbe engine](https://github.com/rust-lang/rust/blob/f0c4da49983aa699f715caf681e3154b445fb60b/compiler/rustc_expand/src/mbe/macro_parser.rs#L576)) to our mbe engine.

fix: don't let mbe expr fragments match let exprs and inline consts

Auto merge of #13795 - jonas-schievink:fix-rustfmt-edition-in-path-deps, r=jonas-schievink

fix: Use the correct edition when formatting code in path dependencies

Fixes https://github.com/rust-lang/rust-analyzer/issues/13790

Don't go through the Cargo workspace info, since that doesn't contain path dependencies. Instead, query the crate graph via `Analysis::crate_edition`.

Use the correct edition when formatting path deps

Auto merge of #13794 - jonas-schievink:reset-step-limit-after-bump, r=jonas-schievink

fix: fix "parser seems stuck" panic when parsing colossal files

The parser step count is incremented every time the parser inspects a token. It's purpose is to ensure the parser doesn't get stuck in infinite loops. But since `self.pos` grows monotonically when parsing source code, it gives a better idea for whether the parser is stuck or not: if `self.pos` is changed, we know that the parser cannot be stuck, so it is safe to reset the step count to 0. This makes the limit check scale with the size of the file, and so should fix https://github.com/rust-lang/rust-analyzer/issues/13788.

Reset parser step count when bumping

Auto merge of #13792 - Veykril:flycheck, r=Veykril

Add a command to clear flycheck diagnostics

And document the flycheck notifications

Add a command to clear flycheck diagnostics

Make cancelFlycheck request a notification

Make manual flycheck runs work when checkOnSave is disabled

Auto merge of #13785 - Veykril:run-flycheck, r=Veykril

Add command for manually running flychecks

Closes https://github.com/rust-lang/rust-analyzer/issues/13125

Add command for manually running flychecks

Auto merge of #13784 - Veykril:bm-hints, r=Veykril

Deduplicate inserted parentheses in binding mode hints

Deduplicate inserted parentheses in binding mode hints

Auto merge of #13783 - Veykril:bm-hints, r=Veykril

Add parentheses for binding mode hints when they attach to an Or-pattern

Add parentheses for binding mode hints when they attach to an Or-pattern

Auto merge of #13777 - dzvon:fix-13776, r=jonas-schievink

fix: add a check for `if` token in patterns parser

Closes #13776

docs: update the comment and add a test to `half_open_range_pat`

Make minor improvements and cleanups

Split the input/output data of the conversion from the test code to the respective files

fix: add a check for `if` token in patterns parser

Closes #13776

Auto merge of #13772 - noritada:minor/set-experimental-attr-to-changelog-draft, r=lnicola

minor: Set the `experimental` AsciiDoc document attribute to generated draft changelog

This PR sets the `experimental` AsciiDoc document attribute to generated draft changelog.

That attribute is required by the keyboard macro (`kbd:[...]`).
This change of the draft will prevent issues like https://github.com/rust-analyzer/rust-analyzer.github.io/pull/191 .

Auto merge of #13774 - lowr:fix/no-infer-vars-in-inference-result, r=Veykril

fix: resolve all inference vars in `InferenceResult::assoc_resolutions`

I think this fixes '#13773, ~but still haven't found repro. I'll try finding one so we can have a regression test~.

We should resolve every inference variable in `InferenceResult` after inference is done. We started recording `Substitution`s for each resolved associated items in #13725, but failed to do so which causes crash when analyzing source in IDE layer.

Auto merge of #13769 - jonas-schievink:parse-half-open-range-pat, r=jonas-schievink

feat: Parse half-open `..= X` patterns

Closes https://github.com/rust-lang/rust-analyzer/issues/13739

fix: resolve all inference vars in `InferenceResult::assoc_resolutions`

Auto merge of #13766 - rust-lang:fix-config-patch, r=Veykril

Fix wrong config patching logic for addCallParenthesis

minor: Set the `experimental` AsciiDoc document attribute to generated draft changelog

The keyboard macro (`kbd:[...]`) requires this attribute.

This default change will prevent issues like
https://github.com/rust-analyzer/rust-analyzer.github.io/pull/191 .

Add a link to the original changelog from release notes on GitHub Releases

Integrate inline macro support with the main AsciiDoc-to-Markdown conversion process

Implement inline macro handling for AsciiDoc-to-Markdown conversion

Parse `..= X` patterns

Fix wrong config patching logic for addCallParenthesis

Make `curl` fail on errors in `xtask publish-release-notes`

Fix "needs parens" check in `remove_parentheses` assist

Auto merge of #13746 - feniljain:fix_extract_function, r=jonas-schievink

fix: make make_body respect comments in extract_function

Possible fix for #13621

### Points to help in review:

- Earlier we were only considering statements in a block expr and hence comments were being ignored, now we handle tokens hence making it aware of comments and then preserving them using `hacky_block_expr_with_comments`

Seems like I am not able to attach output video, github is glitching for it :(

Auto merge of #13715 - feniljain:fix_completions, r=jonas-schievink

fix: breaking snippets on typed incomplete suggestions

Possible fix for #7929

Fix the case where if a user types `&&42.o`, snippet completion was still applying &&Ok(42). Note this was fixed previously on `&&42.` but this still remained a problem for this case

Previous relevant PR: #13517

### Points to help in review:

- The main problem why everything broke on adding an extra `o` was, earlier `dot_receiver` was `42.` which was a `LITERAL` but now `42.o` becomes a `FIELD_EXPR`

- Till now `include_references` was just checking for parent of `LITERAL` and if it was a `REF_EXPR`, but now we consider `FIELD_EXPR` and traverse all of them, finally to reach `REF_EXPR`. If `REF_EXPR` is not found we  just return the original `initial_element`

- We are constructing a new node during `include_references` because if we rely on `dot_receiver` solely we would get `&&42.o` to be replaced with, but we want `&&42` to be replaced with

### Output Video:

https://user-images.githubusercontent.com/49019259/205420166-efbdef78-5b3a-4aef-ab4b-d892dac056a0.mov

Hope everything I wrote makes sense 😅

Also interestingly previous PR's number was `13517` and this PR's number is `13715`, nicee

Auto merge of #13726 - feniljain:fix_assists, r=jonas-schievink

feat: allow unwrap block in let initializers

Possible fix for #13679

### Points to help in review:

- I just added a parent case for let statements and it seems everything else was in place already, so turned out to be a small fix

Auto merge of #13732 - rami3l:fix/gen-partial-eq, r=jonas-schievink

fix: add fallback case in generated `PartialEq` impl

Partially fixes #13727.

When generating `PartialEq` implementations for enums, the original code can already generate the following fallback case:

```rs
_ => std::mem::discriminant(self) == std::mem::discriminant(other),
```

However, it has been suppressed in the following example for no good reason:

```rs
enum Either<T, U> {
    Left(T),
    Right(U),
}

impl<T, U> PartialEq for Either<T, U> {
    fn eq(&self, other: &Self) -> bool {
        match (self, other) {
            (Self::Left(l0), Self::Left(r0)) => l0 == r0,
            (Self::Right(l0), Self::Right(r0)) => l0 == r0,
            // _ => std::mem::discriminant(self) == std::mem::discriminant(other),
            // ^ this completes the match arms!
        }
    }
}
```

This PR has removed that suppression logic.

~~Of course, the PR could have suppressed the fallback case generation for single-variant enums instead, but I believe that this case is quite rare and should be caught by `#[warn(unreachable_patterns)]` anyway.~~

After this fix, when the enum has >1 variants, the following fallback arm will be generated :

* `_ => false,` if we've already gone through every case where the variants of `self` and `other` match;
* The original one (as stated above) in other cases.

---

Note: The code example is still wrong after the fix due to incorrect trait bounds.

Auto merge of #13762 - jonas-schievink:underscore-expr-first, r=jonas-schievink

fix: Fix parsing of `_ = x` in closure body

Fixes https://github.com/rust-lang/rust-analyzer/issues/13757

Fix parsing of `_ = x` in closure body

Correct complex list item support in AsciiDoc-to-Markdown conversion

Support for following cases are added:

- newlines between list items
- list item with multiline principal text with or without indent
- list item immediately after a list continuation paragraph without
  empty lines in between

Update the release process documentation to run `xtask publish-release-notes`

Implement `xtask publish-release-notes` to publish release notes on GitHub Releases

Add support for list nesting in AsciiDoc-to-Markdown conversion

Support for following list item types are also added:

  - `-`-prefixed unordered list items
  - `.`-prefixed ordered list items

Auto merge of #13756 - flodiebold:simplify-assoc-item-subst, r=flodiebold

Make assoc_resolutions always have a Substitution

Make assoc_resolutions always have a Substitution

Auto merge of #13725 - bvanjoi:resolve-const-triat-impls, r=flodiebold

feat: resolve const for trait impls

Fixed #13694

feat: resolve const for trait impls(close #13694)

Auto merge of #13750 - lowr:fix/rpit-in-projection, r=flodiebold

fix: normalize projection after discarding free `BoundVar`s in RPIT

Fixes #13307

When we lower the return type of a function, it may contain free `BoundVar`s in `OpaqueType`'s substitution, which would cause panic during canonicalization as part of projection normalization. Those `BoundVar`s are irrelevant in this context and will be discarded, and we should defer projection normalization until then.

Auto merge of #13742 - lowr:fix/assoc-type-shorthand-with-gats, r=flodiebold

fix: only shift `BoundVar`s that come from outside lowering context

Fixes #13734

There are some free functions `TyLoweringContext` methods call, which do not know anything about current binders in scope. We need to shift in the `BoundVar`s in substitutions that we get from them (#4952), but not those we get from `TyLoweringContext` methods.

Add image/video media support in AsciiDoc-to-Markdown conversion

Auto merge of #13749 - WaffleLapkin:remove_some_redudant_adjustment_hints, r=Veykril

fix: Don't show duplicated adjustment hints for blocks, ifs and matches

Before:
After:

----

I want to improve adjustment hints, this is the first step :)

fix: normalize projection after discarding free `BoundVar`s in RPIT

fix: Don't show duplicated adjustment hints for blocks, ifs and matches

Auto merge of #13745 - Veykril:ty-hint-variant-field, r=Veykril

Show type info on hover of enum variant fields

Small addition to https://github.com/rust-lang/rust-analyzer/pull/13490

Import the initial implementation of AsciiDoc-to-Markdown conversion

fix: make make_body respect comments in extract_function

Auto merge of #13733 - WaffleLapkin:remove_parens, r=Veykril

feat: Add "Remove redundant parentheses" assist


Can be quite handy when refactoring :)

Auto merge of #13722 - MariaSolOs:add-json-contrib, r=Veykril

Add VS Code schema validation for `rust-project.json`

Now that https://github.com/SchemaStore/schemastore/pull/2628 has been merged, adding the `jsonValidation` contribution to the VS Code extension for better editor support when modifying `rust-project.json` files.

Related issue: #13714

Show type info on hover of enum variant fields