hir_ty: iterate_method_candidates_for_self_ty pass `visible_from_module` down to `iterate_inherent_methods`

hir_ty: fix visibility in infer_inherent_method test

hir_ty: introduce visible_from_module param into method resolution

hir_ty: check field visibility while iterating through autoderef candidates

hir_ty: add field_visibilities and fn_visibility queries

hir_ty: add tests around autoderef with visibility checking

hir_ty: fix tests by making required methods public

Merge #8119

8119:  Don't return a SourceChange on WillRenameFiles when nothing gets refactored r=Veykril a=Veykril

bors r+

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

Don't return a SourceChange on WillRenameFiles when nothing gets refactored

Fix add_life_to_type label typo

Merge #8117

8117: Turn Obligation into something similar to chalk_ir::DomainGoal r=flodiebold a=flodiebold

This includes starting to make use of Chalk's `Cast` trait.

Co-authored-by: Florian Diebold <flodiebold@gmail.com>

Turn Obligation into something similar to chalk_ir::DomainGoal

This includes starting to make use of Chalk's `Cast` trait.

Merge #8116

8116: Remove WhereClause::Error r=flodiebold a=flodiebold

Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway.

Co-authored-by: Florian Diebold <flodiebold@gmail.com>

Remove WhereClause::Error

Chalk doesn't have it, and judging from the removed code, it wasn't
useful anyway.

Merge #8115

8115: Rename GenericPredicate -> WhereClause r=flodiebold a=flodiebold

Co-authored-by: Florian Diebold <flodiebold@gmail.com>

Rename GenericPredicate -> WhereClause

Merge #8112

8112: Revamp `hir_def` attribute API r=Veykril a=jonas-schievink

This adds `AttrsWithOwner`, which can construct an accurate `AttrSourceMap` without requiring additional information from the caller.

r? @Veykril

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Add `AttrsWithOwner` and clean up `source_map`

Move `AttrsOwnerNode` to syntax and make it public

Merge #8111

8111: Return `Either` from `MacroDefId::ast_id` r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Return `Either` from `MacroDefId::ast_id`

Merge #8110

8110: simplify r=matklad a=matklad

bors r+
🤖

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

simplify

changelog skip

Merge #8109

8109: Make ast editing more ergonomic r=matklad a=matklad

bors r+
🤖

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Make ast editing more ergonomic

changelog internal

Merge #8108

8108: Fix handling of `#![cfg]` in outline module file r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Fix handling of `#![cfg]` in outline module file

Merge #8106

8106: Add builtin macro-like attributes r=jonas-schievink a=jonas-schievink

We also have to know about these to resolve them

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Add builtin macro-like attributes

Merge #8104

8104: Rename derive-specific APIs r=jonas-schievink a=jonas-schievink

Indicate that they're derive-specific

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Rename derive-specific APIs

Merge #8102

8102: Cleanup qualify_path r=Veykril a=Veykril

bors r+

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

Cleanup qualify_path

Merge #8097

8097: Parse extended_key_value_attributes r=jonas-schievink a=Veykril

Companion PR https://github.com/rust-analyzer/ungrammar/pull/31

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

Merge #8101

8101: Replace Projection variant in GenericPredicate with AliasEq r=flodiebold a=Veykril

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

Replace Projection variant in GenericPredicate with AliasEq

Parse extended_key_value_attributes

Merge #8099

8099: Document fields of `ModuleId` r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Document fields of `ModuleId`

Merge #8095

8095: Fix associated items not being appended to paths in import_assets r=SomeoneToIgnore a=Veykril

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

Merge #8086

8086: Use a highlight modifier for intra doc links r=Veykril a=Veykril

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

Use a highlight modifier for intra doc links

Merge #8096

8096: Chalkify TraitRef r=flodiebold a=flodiebold

Co-authored-by: Florian Diebold <flodiebold@gmail.com>

Chalkify TraitRef

Fix associated items not being appended to paths in import_assets

Merge #8083

8083: Track source file IDs in source mapping of Attrs r=jonas-schievink a=Veykril

Fixes the panics/incorrect injection highlighting of outline module declarations until we figure out a nicer source mapping strategy for attributes.

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

Merge #8094

8094: Fix infinite recursion when computing diagnostics for inner items r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Fix infinite recursion when computing diagnostics for inner items

Merge #8093

8093: Record custom derive helpers in `DefMap` r=jonas-schievink a=jonas-schievink

Also clean up proc macro attribute parsing a bit

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Add test

Record custom derive helpers in `DefMap`

Also clean up proc macro attribute parsing a bit

Merge #8091

8091: Add test for goto def on proc macro invocation r=jonas-schievink a=jonas-schievink

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/7073

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Add test for goto def on proc macro invocation

Merge #8089

8089: Update info about Eclipse Corrosion r=matklad a=mickaelistria

Co-authored-by: Mickael Istria <mistria@redhat.com>
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Update docs/user/manual.adoc

Update info about Eclipse Corrosion

Merge #8088

8088: Store an `AstId` for procedural macros r=jonas-schievink a=jonas-schievink

Point `HasSource` to the `ast::Fn`, and go to it in `TryToNav`.

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Store an `AstId` for procedural macros

Merge #8087

8087: Make MacroDefId's `AstId` mandatory when possible r=jonas-schievink a=jonas-schievink

This makes it clearer (in the type definition) which macros have or don't have an `AstId`

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Make MacroDefId's `AstId` mandatory when possible

Merge #8085

8085: Create AstId for builtin_derive macro in tests r=jonas-schievink a=jonas-schievink

This moves them closer to the builtin_macro tests

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Create AstId for builtin_derive macro in tests

Merge #8082

8082: Proper handle inner recursive macro rules cases r=edwin0cheng a=edwin0cheng

Fixes #7645

cc @jonas-schievink

bors r+

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Handle inner recursive macro rules cases

Track source file IDs in source mapping of Attrs

Merge #8081

8081: Reorganize mbe tests r=edwin0cheng a=edwin0cheng

bors r+

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Reorganize mbe tests

Merge #8080

8080: Change ItemTree API to accomodate creating an ItemTree per block expression r=jonas-schievink a=jonas-schievink

...which won't go through salsa because the AST is already cached anyways

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Rename `item_tree` query to `file_item_tree`

Make `ItemTreeId` its own type

Merge #8079

8079: Avoid cloning `CfgOptions` r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Avoid cloning `CfgOptions`

Merge #8078

8078: Support `#[cfg]` on all associated items r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Support `#[cfg]` on all associated items

Merge #8076

8076: Add test for self-calling inner function r=jonas-schievink a=jonas-schievink

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/4438 (and duplicates)

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Add test for self-calling inner function

Merge #8075

8075: Fix `use crate as <name>;` imports r=jonas-schievink a=jonas-schievink

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/4644

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Fix `use crate as <name>;` imports

Merge #8073

8073: Improve diagnostic when including nonexistent file r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Improve diagnostic when including nonexistent file

Merge #8072

8072: Fix "unset `OUT_DIR`" diagnostic when using it in item position r=jonas-schievink a=jonas-schievink

"load out dirs from check" is enabled by default now, but better late than never I guess.

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Use first early expansion error during nameres

Merge #8071

8071: Semantic highlight intradoclinks in documentation r=Veykril a=Veykril

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

Semantic highlight intradoclinks in documentation

Merge #8069

8069: Inject highlight into block doc comments r=Veykril a=Veykril

bors r+
Closes https://github.com/rust-analyzer/rust-analyzer/issues/6873

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

Inject highlight into block doc comments

Merge #8068

8068: Correctly handle `#[cfg]` on function parameters r=jonas-schievink a=jonas-schievink

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/5649

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Improve test

Apply `#[cfg]`s when computing function signatures

Add test for `#[cfg]` on function params

ItemTree: lower attributes on fn parameters

Correctly parse attributes on fn parameters

Merge #8067

8067: Check whether cursor is on and not between intra doc links in goto_definition r=Veykril a=Veykril

bors r+

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

Check whether cursor is on and not between intra doc links in goto_definition

Merge #8065

8065: Better handling of block doc comments r=Veykril a=Veykril

Moves doc string processing to `Attrs::docs`, as we need the indent info from all comments before being able to know how much to strip

Closes #7774

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

Fix incorrect newline emission in Attrs::docs

Merge #8066

8066: Handle `#[cfg]` on call arguments r=jonas-schievink a=jonas-schievink

This resolved the issue reported in this comment: https://github.com/rust-analyzer/rust-analyzer/issues/5649#issuecomment-789424608

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Handle `#[cfg]` on call arguments

Better handling of block doc comments

Merge #8059

8059: Move doc-comment highlight injection from AST to HIR r=matklad,jonas-schievink a=Veykril

Fixes #5016

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