parse minus before number literal

Merge #325

325: implement translate_offset_with_edit r=matklad a=vemoo

- Implement `translate_offset_with_edit` to resolve #105
- Add proptest impls for text, offsets and edits and use them in tests for `translate_offset_with_edit` and `LineIndex`
- Added benchmark for `translate_offset_with_edit`

Co-authored-by: Bernardo <berublan@gmail.com>

Merge #339

339: Fix assertion error for literals with suffixes r=matklad a=matklad

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

fix suffix ranges

dump validation errors

support literal suffixes

dedupe literal parsers

Merge #337

337: check edits in diagnostics r=matklad a=matklad

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

check edits in diagnostics

Merge #332

332: Struct types r=matklad a=flodiebold

Infer types for struct fields, and add basic field completions. There's also some code for enums, but I focused on getting structs working.

There's still ways to go before this becomes useful: There's no autoderef (or even reference types) and no inference for `self`, for example.

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

Merge #336

336: add cancelation module & cancelation backtraces r=matklad a=matklad

This is primaraly to debug semengly spurious canceled requests

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

add cancelation module & cancelation backtraces

fix the test

expose make_pub_crate action

Merge #334

334: use a::b::{self} should be fixed as use a::b instead of use a::b::self r=matklad a=gfreezy

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

fix use std::{self}

Merge #333

333: Fix unnecessary braces r=matklad a=gfreezy


don't know why the underscore line is not covering the whole braces.

fix #324

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

Resolve field types lazily

I.e. not already when getting the HIR for the struct.

test code and dependency cleanup

Add a hir::TypeRef as an intermediate between ast::TypeRef and ty::Ty

change to `TextEdit` to avoid allocation and sort
rename newline to step where applicable

Implement reference / pointer types

 - parse them
 - infer types of & and * expressions

remove benchmark and simplify tests

use new translate_offset_with_edit for TryConvWith
doc comments

add line_index proptest

make criterion args work, small simplification

fix arbitrary offset generation, col translation working

column translation implemented but not quite working yet

iterate over `Step`s which are either, newlines or multibyte chars

simplify newline check with macro

remove slower impl, add benchmarks

final iteration, faster a bit simpler
the main thing is we iterate over inserted newlines at once for each edit

simplified version

move translate_offset_with_edit to ra_editor

initial newline translation working
todo:
cleanup, simplify
handle columns

test translate_offset_with_edit against simple impl for single edits

simplify and reduce number of values explored

proptest strategies for TextUnit and AtomTextEdit

fix tests

Handle structs/enums with missing names a bit better

add fix for removing unnecessary braces in use statements

Determine receiver for completion in a more robust way

Also rename a parameter.

Cleanup

Add . to trigger characters

Implement basic completion for fields

Improve parsing of incomplete field accesses in preparation for field completion

We need to be able to get the receiver even if there is no field name yet, and
currently "a." wouldn't get parsed as a field name at all. This seems to help.

Type field accesses

Collect field data for structs/enum variants

Add AST definitions for struct/variant fields etc.

Fixes #117

Infer result of struct literals, and recurse into their child expressions

Do name resolution by namespace (types/values)

Add basic HIR and types for structs/enums

Merge #331

331: Cancelled is not Copy r=matklad a=matklad

I'd love to have a backtrace in `Cancelled` to be able to debug "completion is always cancelled" problem. So it probably is a good idea to make `Cancelled` non Copy type, even if it is a ZST in prod.

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

cancelled is not Copy

Merge #328

328: fix warning conversion r=matklad a=matklad

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

fix warning conversion

Merge #326

326: resolved #324: remove unnecessary braces in use statement. r=matklad a=gfreezy

Add inspection for unnecessary braces in use statement

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

fix tests

remove option from Diagnostic

keep severity to Error & WeakWarning

Merge #327

327: Beginnings of type inference r=flodiebold a=flodiebold

I was a bit bored, so I thought I'd try to start implementing the type system and see how far I come :wink:  This is obviously still extremely WIP, only very basic stuff working, but I thought I'd post this now to get some feedback as to whether this approach makes sense at all.

There's no user-visible effect yet, but the type inference has tests similar to the ones for the parser. My next step will probably be to implement struct types, after which this could probably be used to complete fields.

I realize this may all get thrown away when/if the compiler query system gets usable, but I feel like there are lots of IDE features that could be implemented with somewhat working type inference in the meantime :smile:

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

Change inference tests to have one per file

Rename a variable for consistency

Clean up Ty a bit

Removing irrelevant comments copied from rustc etc.

Merge #278

278: Add make_pub_crate code action to ra_editor r=matklad a=h-michael

implement #170

Co-authored-by: Hirokazu Hata <h.hata.ai.t@gmail.com>

Merge #302

302: WIP: Support tracing lsp requests. r=DJMcNab a=DJMcNab

EDIT: We need to work out a better way to handle settings before this can be merged. Help wanted

TODO: Debug why decorations are sent even when highlightingOn is disabled
This makes the log volume so high its impossible to work with anyway.
(Continuation of #84 [#99 only disabled using it, not making sure we don't send it]).

These logs can be used in https://microsoft.github.io/language-server-protocol/inspector/

Co-authored-by: DJMcNab <36049421+djmcnab@users.noreply.github.com>

Add a very hacky workaround to not trace decorations requests

Add make_pub_crate code action to ra_editor

Prepare Ty::new for resolution

remove unnecessary braces in use statments

add serverity to vscode diagnostics

Type the return values of call expressions

Resolve paths to defs (functions currently) during type inference

resolved #324: remove unnecessary braces in use statement.

Make let statements kind of work

Remove unwraps

Get rid of the terrible nesting in PathExpr inference

Cleanup

Add testing infrastructure for type inference

 - move dir_tests to test_utils for that.

Parse integer / float types

Add beginnings of type infrastructure

Improve comment

Merge #310

310: When constructing a crate graph, detect and forbid cycles. r=matklad a=gfreezy

fixed #300

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

mark as visited on entry instead of left

Merge #323

323: workaround salsa/parking-log bug r=matklad a=matklad

https://github.com/salsa-rs/salsa/issues/99
https://github.com/Amanieu/parking_lot/issues/101

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

workaround salsa/parking-log bug

https://github.com/salsa-rs/salsa/issues/99
https://github.com/Amanieu/parking_lot/issues/101

Merge #322

322: Fix analyzer extension fail when there are enabled any VIM extension r=matklad a=max-frai

`type` command is allowed only once to be registered and it was built specially for vim mode.
So if user has vim extension enabled, rust-analyzer initialization failes on trying to register own `type` handler.

Unfortunatelly, there are no nice ways to check if command is already registered so the way is to wrap everything with try/catch and notify user about conflict.

Co-authored-by: frai <me@maxfrai.com>

Fix analyzer extension fail when there are enabled any VIM extension.

less chatty logging

Merge #321

321: More useful logging r=matklad a=matklad

Try not to log *huge* messages, to make logging more useful.

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

less verbose debug

less verbose debug for library data

log times

Merge #320

320: completion uses hir scopes r=matklad a=matklad

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

completion uses hir scopes

not visit the same crateId only once

Merge #319

319: Completion icons r=matklad a=matklad

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

fix snippet icon

binding icon

debug pring