Merge #2455

2455: Add BuiltinShadowMode r=flodiebold a=edwin0cheng

This PR try to fix #1905 by introduce an `BuiltinShadowMode` in name resolving functions.

cc @flodiebold

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

Remove some empty lines

Use index instead of peekable

Fix comment

Merge #2451

2451: Use env_logger instead of flexi_logger r=matklad a=AlexanderEkdahl

This fixes https://github.com/rust-analyzer/rust-analyzer/issues/2335

- By default only `error` will be printed. From what I can tell this matches the current behaviour. Configured through `RUST_LOG`.
- I looked through the optional dependencies for `env_logger`and I have only enabled `human_time`. Without this feature no timestamp will be shown for log messages.
- `RA_LOG_DIR` feature is removed

This PR adds 2 new dependencies(`env_logger` and `human_time`) and removes 6 dependencies.

Co-authored-by: Alexander Ekdahl <alexander@ekdahl.io>

Add BuiltinShadowMode

Merge #2453

2453: Handle various cycles r=matklad a=flodiebold

 - handle `impl Trait<Self> for SomeType`, which is allowed. This necessitated splitting the `impl_ty` query, but I think the result actually makes a lot of code nicer. This should fix #2446.
 - add recovery for `impl Trait for SomeType<Self>`
 - add recovery for `type Type = Foo<Type>`
 - add recovery for cycles in generic param env

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

Add cycle recovery for type aliases

Add cycle recovery for generic predicates

Handle cycles in impl types better

 - impl Trait<Self> for S is allowed
 - impl Trait for S<Self> is an invalid cycle, but we can add cycle recovery for
   it in Salsa now

Merge #2449

2449: Only allow renames to valid identifiers r=matklad a=detrumi

Implements #2121

Co-authored-by: Wilco Kusee <wilcokusee@gmail.com>

Remove log dependency from ra_cli

Update README

Remove flexi_logger from ra_lsp_server

Use env_logger in ra_cli

Merge #2445

2445: Infer range types r=flodiebold a=oxalica

Co-authored-by: oxalica <oxalicc@pm.me>

Push identifier check to rename function

Test rename for various identifiers

Move identifier check to analysis

Also allow renaming to underscore

Only allow renames to valid identifiers

Reduce variants of Expr

Infer range types

Merge #2442

2442: Move source-related traits to a separate module r=matklad a=matklad

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

Move source-related traits to a separate module

Merge #2441

2441: Use InFile for AstId r=matklad a=matklad

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

Use InFile for AstId

Merge #2440

2440: Rename Source -> InFile r=matklad a=matklad

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

Rename Source -> InFile

Merge #2438

2438: Derive Hash for tt::TokenTree r=matklad a=edwin0cheng

Preparation for intern `TokenTree` to salsa database

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

Derive Hash for TokenTrees

Merge #2437

2437: Update mio and anyhow r=kjeremy a=kjeremy

Co-authored-by: kjeremy <kjeremy@gmail.com>

Update mio and anyhow

Merge #2433

2433: Use Name::missing consistently r=matklad a=matklad

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

Use Name::missing consistently

Merge #2432

2432: Minimize API r=matklad a=matklad

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

Minimize API

Merge #2431

2431: Memoize impl resolutions r=matklad a=matklad

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

Memoize impl resolutions

Merge #2430

2430: rename ra_ide_api -> ra_ide r=matklad a=matklad

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

Reformat

rename ra_ide_api -> ra_ide

Rename module_id -> local_id

Merge #2429

2429: Move type inference to a separate crate r=matklad a=matklad

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

prune deps

Move Ty

Decouple

Merge #2428

2428: Remove TypableDef r=matklad a=matklad

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

Remove TypableDef

Cleanup imports

Use Id for variats

More decoupling

Decouple more

Merge #2427

2427: Decouple r=matklad a=matklad

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

Decouple

Merge #2426

2426: Decouple r=matklad a=matklad

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

Decouple

Cleanup imports

Merge #2425

2425: Decouple r=matklad a=matklad

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

Decouple

Decouple

Merge #2424

2424: Crate -> CrateId r=matklad a=matklad

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

Crate -> CrateId

Merge #2422

2422: Use a simple progress bar instead of indicatif r=maklad a=edwin0cheng


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

Fill all last text to space and return the cursor

Remove progress bar and add a true counter

Remove commented code

Use a simple progress bar instead of indicatif

Merge #2421

2421: Cleanup r=matklad a=matklad

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

Cleanup

Decouple

Merge #2420

2420: Remove last traces of adt from Ty r=matklad a=matklad

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

Merge #2418

2418: Hide MacroCallLoc outside hir_expand  r=matklad a=edwin0cheng

This PR refactor `MacroCallLoc` such that it  be hided to become implementation details of hir_expand.

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

Remove last traces of adt from Ty

More precise NameKind::Self

Merge #2419

2419: Remove ns-polymorphic type_for_def r=matklad a=matklad

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

Remove ns-polymorphic type_for_def

Hide MacroCallLoc

Merge #2415

2415: Add note r=matklad a=matklad

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

Add note

Cleanup imports

Reduce visibility

Use TraitId in TraitRef

Merge #2413

2413: Remove another helper r=matklad a=matklad

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

Remove another helper

Doc

Remove assoc_type_by_name helper

Store names in TraitData

Detangle ty from traits a bit

Merge #2412

2412: Fix stale crates that snuck in r=kjeremy a=kjeremy

Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>

Fix stale crates that snuck in

Merge #2406

2406: Add hygiene information to SourceAnalyzer r=matklad a=edwin0cheng

This should fix https://github.com/rust-analyzer/rust-analyzer/pull/2392#issuecomment-557964686

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

Remove dbg!

Merge #2410

2410: Introduce hir_ty r=matklad a=matklad

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

Doc primitives

id-ify impls_in_crate_query

Merge #2411

2411: Update parking_lot and smallvec to drop some dependencies r=matklad a=kjeremy

Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>

Update parking_lot and smallvec to drop some dependencies

Introduce hir_ty

Merge #2409

2409: Id-ify Ty::Adt r=matklad a=matklad

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