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

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

moar icons

Merge #316

316: Fix handling of nested self in paths r=matklad a=DJMcNab

See https://github.com/rust-analyzer/rust-analyzer/issues/231#issuecomment-442449505.

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

more icons

Move the self handling from directly inside the loop

move completion items to conv

Merge #318

318: Remove a completed and an unactionable todo r=matklad a=DJMcNab

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

Remove TODO on self_hosting_parsing

This improving this code is not a good use of people-time, and this
might be the most performant approach nonwithstanding
an api for this use case being added to walkdir

specify completion item kind

cleanup

introduce ComletionItemKind

rename completion kind

Remove uneeded todo in lexer

Fix handling of nested self in paths

Merge #315

315: Split completion into manageable components r=matklad a=matklad

The main idea here is to do completion in two phases:

* first, we figure out surrounding context
* then, we run a series of completers on the given context.

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

cleanup

docs

rename tests

scope-based copmletions on original file

move path completion to a separate component

remove explicit serde_derive

join lines collapses use_trees

more completion components

Merge #313

313: Fix where clauses using fully qualified path syntax r=matklad a=DJMcNab

Fixes #311.

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

Start splitting completion into components

Fix where clauses using fully qualified path syntax

Undo the previous mistaken change and make publish_decorations optional

See https://github.com/Microsoft/language-server-protocol/issues/567
for motivations to not require `InitializationOptions`

TODO: Check if there are any other protocol extensions
which should be disabled if not implemented on the client

hide empty changes

wip

add tests for pd

show debug repr of literals

Merge #312

312: Completion refactoring r=matklad a=matklad

Just a usual refactoring, turning a rather ad-hoc completion infra into something extensible

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

organize completion tests better

add #[cfg(test)]

rename to dfs_find

When constructing a crate graph, detect and forbid cycles.

fixed #300

use completions in API

use Completions to collect completions