internal: add ranges to minicore

internal: unindent some tests

internal: switch some tests to minicore

internal: switch some tests to minicore

internal: switch some tests to minicore

internal: switch some tests to minicore

internal: introduce minicore -- a subset of libcore for testing

minor: fix typo

internal: enforce no #[ignore] and no #[should_panic]

internal: don't #[ignore] tests

See the style.md for motivation

Merge #9288

9288: internal: cleanup tests r=matklad a=matklad

bors r+
🤖

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

internal: cleanup tests

* ensure standard, non-indented style (should add this check to
  `fixture` some day)
* removed a couple of ignores

Merge #9285

9285: minor: add a test variation r=matklad a=matklad

bors r+
🤖

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

minor: add a test variation

Merge #9278

9278: internal: document that we don't #[ignore] tests r=matklad a=matklad

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

internal: document that we don't #[ignore] tests

Merge #9282

9282: fix: Use objects instead of bools for markers in package.json r=lnicola a=lnicola

Addresses https://github.com/rust-analyzer/rust-analyzer/issues/9174#issue-913980665.

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>

Use objects instead of bools for markers in package.json

Merge #9281

9281: fix: Code: use `Uri.toString()` for URLs r=lnicola a=wxb1ank

I believe this should fix #9280. Testing is needed but I wanted to quickly push a hotfix.

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

Use `Uri.toString()` for URLs

Merge #9277

9277: internal: more natural order of sources for TypeParam r=matklad a=matklad

bors r+
🤖

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

internal: more natural order of sources for TypeParam

We usually use first (left) variant of `Either` for "usual" case, and
use right for odd things. For example, pat source is Pat | SelfParam.

Merge #9276

9276: internal: refactor diagnostics more r=matklad a=matklad

bors r+
🤖

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

internal: test diagnostic severeties and presense of fixes

minor: make diagnostics more similar

Merge #9275

9275: feat: Support goto type for field expressions and patterns r=Veykril a=Veykril

bors r+

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

Support goto type for field expressions and patterns

Merge #9273

9273: internal: don't pull tracing via chalk r=matklad a=matklad

bors r+
🤖

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

internal: don't pull tracing via chalk

Merge #9272

9272: internal: move diagnostics to a dedicated crate r=matklad a=matklad

bors r+

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

internal: document diagnostics crate

Merge #9270

9270: minor: Add assoc type in trait bound completion test r=Veykril a=Veykril

bors r+

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

Add assoc type in trait bound completion test

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>