minor: less ambiguous name

internal: flatten module hierarchy

It seems that any crate can be made better by flattening the modules
down to a single layer?

internal: document rename challenges

internal: adapt diagnostics to the new rename API

internal: cut deps between assists and diagnostics

internal: prepare to move assist definitions

internal: move diagnostics to a new crate

internal: start ide diagnostics crate

Merge #9265

9265: internal: prepare to move rename to base_db  r=matklad a=matklad

bors r+
🤖

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

internal: prepare to move rename to base_db

It's better to handle magical cases upper in the stack, because it
allows for better re-use of the general implementation below. So, we
pull the `self` case up here.

The end goal is to put `Definition::rename` to the `ide_db`, because
it's a generally re-usable functionality useful for different ide
features, alongside with the search which is already there.

Merge #9263

9263: fix: don't use display-related functionality where semantics matters r=matklad a=matklad

bors r+
🤖

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

fix: don't use display-related functionality where semantics matters

NavigationTarget is strictly a UI-level thing -- it describes where the
cursor should be placed when the user presses goto definition. It
doesn't make any semantic guaratees about rage and focus range and, as
such, is not suitable for driving renames.

Merge #9262

9262: fix: Don't keep a trailing `self` token in import paths after `unmerge_use` r=Veykril a=Veykril

Fixes #9213
bors r+

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

Don't keep a trailing self token in import paths after unmerge_use

Merge #8951

8951: internal: migrate to vscode.FileSystem API r=matklad a=wxb1ank

I encountered an error where `bootstrap()` attempts to create a directory with the path `C:\C:\...`. I couldn't find this reported anywhere else. Using the `vscode.FileSystem` API instead of the `fs` one works here. I assume the latter automatically prepends `C:\` to paths whereas the former does not. I don't know if this suggests `vscode.FileSystem` should be used in more places for consistency.

Co-authored-by: wxb1ank <wxblank@gmail.com>

Merge #9261

9261: minor: dev/architecture.md: Fix typo in env-var quoting r=lnicola a=lf-

Co-authored-by: Jade <software@lfcode.ca>

Fix typo in env-var quoting

Merge #9260

9260: tree-wide: make rustdoc links spiky so they are clickable r=matklad a=lf-

Rustdoc was complaining about these while I was running with --document-private-items and I figure they should be fixed.

Co-authored-by: Jade <software@lfcode.ca>

tree-wide: make rustdoc links spiky so they are clickable

Merge #9257

9257: internal: diagnostic code is mandatory r=matklad a=matklad

bors r+
🤖

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

internal: diagnostic code is mandatory

minor: dead code

Merge #9256

9256: internal: kill diagnostic sink r=matklad a=matklad

bors r+
🤖

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

internal: kill diagnostic sink

internal: use cov-mark rather than bailing out diagnostic

internal: refactor missing match arms diagnostics

Merge #9255

9255: internal: remove DiagnosticWithFix infra r=matklad a=matklad

bors r+
🤖

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

internal: remove DiagnosticWithFix infra

internal: refactor incorrect case diagnostics

Merge #9253

9253: internal: refactor missing or or some diagnostic r=matklad a=matklad

bors r+
🤖

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

minor

internal: refactor find_map diagnostic

minor

internal: refactor missing or or some diagnostic

internal: refactor remove this semicolon diagnostics

Merge #9252

9252: internal: refactor mismatched args count diagnostic r=matklad a=matklad

bors r+
🤖

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

internal: refactor mismatched args count diagnostic

internal: refactor missing unsafe diagnostic

internal: refactor BreakOutsideOfLoop diagnostic

internal: refactor NoSuchField diagnostic

internal: refactor unimplemented builtin macro diagnostic

Merge #9251

9251: minor: simplify r=matklad a=matklad

bors r+
🤖

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

minor: simplify

Merge #9250

9250: internal: check diagnostics in all files and not just the first one r=matklad a=matklad

bors r+
🤖

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

internal: check diagnostics in all files and not just the first one

Merge #9249

9249: internal: remove def-level diagnostics tests r=matklad a=matklad

bors r+
🤖

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

internal: remove def-level diagnostics tests

internal: refactor macro error

internal: refactor unresolved proc macro diagnostic

internal: refactor inactive code diagnostics

Merge #9248

9248: internal: refactor unresolved macro call diagnostic r=matklad a=matklad

bors r+
🤖

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

internal: refactor unresolved macro call diagnostic

internal: refactor unresolved import diagnostic

Merge #9247

9247: internal: refactor unresolved extern crate diagnostic r=matklad a=matklad

bors r+
🤖

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

internal: refactor unresolved extern crate diagnostic

Merge #9246

9246: internal: unified missing fields diagnostic r=matklad a=matklad

bors r+
🤖

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

internal: unified missing fields diagnostic

internal: move missing_fields diagnostics

Merge #9245

9245: internal: start new diagnostics API r=matklad a=matklad

bors r+
🤖

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

internal: start new diagnostics API

At the moment, this moves only a single diagnostic, but the idea is
reafactor the rest to use the same pattern. We are going to have a
single file per diagnostic. This file will define diagnostics code,
rendering range and fixes, if any. It'll also have all of the tests.
This is similar to how we deal with assists.

After we refactor all diagnostics to follow this pattern, we'll probably
move them to a new `ide_diagnostics` crate.

Not that we intentionally want to test all diagnostics on this layer,
despite the fact that they are generally emitted in the guts on the
compiler. Diagnostics care to much about the end presentation
details/fixes to be worth-while "unit" testing. So, we'll unit-test only
the primary output of compilation process (types and name res tables),
and will use integrated UI tests for diagnostics.

Merge #9244

9244: feat: Make block-local trait impls work r=flodiebold a=flodiebold

As long as either the trait or the implementing type are defined in the same block.

CC #8961

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

Make block-local trait impls work

As long as either the trait or the implementing type are defined in the
same block.

Merge #9243

9243: internal: check that coverage marks are always paired r=matklad a=matklad

bors r+
🤖

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

internal: check that coverage marks are always paired

minor: put a mark back

Merge #9242

9242: Clippy r=matklad a=Maan2003

Best viewed commit wise

Co-authored-by: Maan2003 <manmeetmann2003@gmail.com>

Merge #9240

9240: Fixed a small typo in comment r=matklad a=fee1-dead

Co-authored-by: fee1-dead <ent3rm4n@gmail.com>

cargo fmt

clippy::redundant_field_names

clippy::manual_str_repeat

clippy::useless_return

clippy::redundant_closure

clippy::clone_on_copy

clippy::useless_conversion

clippy::redudant_borrow

Merge #9239

9239: fix: Fix coercion in match with expected type r=flodiebold a=flodiebold

Plus add infrastructure to test type mismatches without expect.

CC #8961

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

Fix coercion in match with expected type

Plus add infrastructure to test type mismatches without expect.

Merge #9238

9238: internal: cross-crate cov-marks r=matklad a=matklad

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

internal: cross-crate cov-marks

Merge #9237

9237: internal: move diagnostics infra to hir r=matklad a=matklad

bors r+
🤖

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

internal: move diagnostics infra to hir

Merge #9236

9236: Fix some typos in flyimport docs r=SomeoneToIgnore a=SomeoneToIgnore

bors r+

Co-authored-by: Kirill Bulatov <mail4score@gmail.com>

Fix some typos in flyimport docs

Merge #9233

9233: Move some hir_ty diagnostics to hir r=matklad a=matklad

bors r+
🤖

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

Move some hir_ty diagnostics to hir

Merge #9231

9231: minor: optimize r=matklad a=matklad

bors r+
🤖

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

minor: optimize

We shouldn't be looking at the source map unless we actually have
diagnostics.

minor: reduce visibility

Merge #9230

9230: internal: move inference diagnostics to hir r=matklad a=matklad

bors r+
🤖

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

internal: move missing unsafe diagnostic to hir

internal: move inference diagnostics to hir

Merge #9229

9229: minor: squelch "unused" warning r=matklad a=matklad

bors r+
🤖

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

minor: squelch "unused" warning

Merge #9204

9204: feat: more accurate memory usage info on glibc Linux r=jonas-schievink a=jonas-schievink

This adds support for the new `mallinfo2` API added in glibc 2.33. It addresses a shortcoming in the `mallinfo` API where it was unable to handle memory usage of more than 2 GB, which we sometimes exceed.

Blocked on https://github.com/rust-lang/libc/pull/2228

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

Update libc

Merge #9223

9223: Complete associated types in dyn and impl trait r=Veykril a=Veykril

Fixes #9222
bors r+

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

Complete associated types in dyn and impl trait

Merge #9221

9221: fix: Highlight tuple field accesses correctly r=Veykril a=Veykril

Fixes  #9220
bors r+

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

Highlight tuple field accesses correctly

Merge #9219

9219: minor: Replace some AssocItem::containing_trait calls trait_or_trait_impl r=Veykril a=Veykril

bors r+

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