Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Actually drop unicase dependency | Aleksey Kladov | 2020-02-26 | 2 | -2/+0 |
| | |||||
* | Rename back to highlight and check event's again highlight range | kjeremy | 2020-02-25 | 2 | -40/+54 |
| | |||||
* | Semantic Ranges | Jeremy Kolb | 2020-02-25 | 6 | -16/+92 |
| | |||||
* | Merge #3305 | bors[bot] | 2020-02-25 | 1 | -11/+13 |
|\ | | | | | | | | | | | | | | | | | | | | | 3305: Simplify r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | Simplify | Aleksey Kladov | 2020-02-25 | 1 | -11/+13 |
| | | |||||
* | | :arrow_up: rowan | Aleksey Kladov | 2020-02-25 | 1 | -1/+1 |
|/ | |||||
* | Simplify | Aleksey Kladov | 2020-02-25 | 2 | -15/+7 |
| | |||||
* | Merge #3298 | bors[bot] | 2020-02-25 | 3 | -59/+68 |
|\ | | | | | | | | | | | | | | | 3298: Bump chalk and replace TypeFamily with Interner r=flodiebold a=lnicola Co-authored-by: Laurențiu Nicola <[email protected]> | ||||
| * | Bump chalk and replace TypeFamily with Interner | Laurențiu Nicola | 2020-02-24 | 3 | -59/+68 |
| | | |||||
* | | Replace generic with a concrete type | Aleksey Kladov | 2020-02-25 | 2 | -13/+14 |
| | | |||||
* | | Add docs | Jeremy Kolb | 2020-02-25 | 1 | -0/+8 |
| | | |||||
* | | Teach the server about Semantic Tokens proposed LSP | kjeremy | 2020-02-25 | 9 | -40/+239 |
|/ | |||||
* | When joining lines, unwrap trivial diverging blocks | Aleksey Kladov | 2020-02-24 | 2 | -8/+53 |
| | |||||
* | Omit type hints for enum variant bind pats | Kirill Bulatov | 2020-02-24 | 1 | -92/+125 |
| | |||||
* | Add suggestion for failed path resolution | Yoshua Wuyts | 2020-02-23 | 1 | -1/+1 |
| | | | | This adds https://github.com/rust-analyzer/rust-analyzer/issues/3245 as an inline help text for when path resolution fails. | ||||
* | Style fixes | Kirill Bulatov | 2020-02-23 | 1 | -3/+4 |
| | |||||
* | Add basic parameter name hints heuristics | Kirill Bulatov | 2020-02-23 | 2 | -41/+187 |
| | |||||
* | Fix the tests | Kirill Bulatov | 2020-02-22 | 1 | -5/+105 |
| | |||||
* | Show more parameter name hints | Kirill Bulatov | 2020-02-22 | 1 | -27/+34 |
| | |||||
* | Simplify inlay hints processing | Kirill Bulatov | 2020-02-22 | 1 | -103/+35 |
| | |||||
* | Simplify | Aleksey Kladov | 2020-02-22 | 4 | -171/+58 |
| | |||||
* | Merge #3272 | bors[bot] | 2020-02-22 | 1 | -5/+2 |
|\ | | | | | | | | | | | | | | | 3272: ra_db: removed a couple of explicit lifetimes r=matklad a=Veetaha Co-authored-by: Veetaha <[email protected]> | ||||
| * | ra_db: removed a couple of explicit lifetimes | Veetaha | 2020-02-22 | 1 | -5/+2 |
| | | |||||
* | | Merge #3263 | bors[bot] | 2020-02-22 | 10 | -261/+480 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3263: Implement unsizing coercions using Chalk r=matklad a=flodiebold These are coercions like `&[T; n] -> &[T]`, which are handled by the `Unsize` and `CoerceUnsized` traits. The impls for `Unsize` are all built in to the compiler and require special handling, so we need to provide them to Chalk. This adds the following `Unsize` impls: - `Unsize<[T]> for [T; _]` - `Unsize<dyn Trait> for T where T: Trait` - `Unsize<dyn SuperTrait> for dyn SubTrait` Hence we are still missing the 'unsizing the last field of a generic struct' case. Co-authored-by: Florian Diebold <[email protected]> Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | | Shorten some code | Florian Diebold | 2020-02-22 | 1 | -4/+1 |
| | | | |||||
| * | | Rework find_super_trait_path to protect against cycles | Florian Diebold | 2020-02-22 | 5 | -23/+74 |
| | | | |||||
| * | | Fix shift_bound_vars | Florian Diebold | 2020-02-22 | 1 | -3/+3 |
| | | | | | | | | | | | | It should only shift free vars (maybe the name isn't the best...) | ||||
| * | | Fix wrong handling of bare `dyn Trait` exposed by canonicalizer fix | Florian Diebold | 2020-02-22 | 1 | -1/+3 |
| | | | | | | | | | | | | | | | The self type in the `dyn Trait` trait ref should always be ^0, but we didn't put that in there in the bare case. | ||||
| * | | Add &dyn Trait -> &dyn SuperTrait coercion, and fix &T -> &dyn Trait | Florian Diebold | 2020-02-22 | 4 | -44/+132 |
| | | | |||||
| * | | Fix handling of binders in canonicalization | Florian Diebold | 2020-02-22 | 1 | -64/+35 |
| | | | | | | | | | | | | I'm looking forward to getting rid of this in favor of Chalk's implementation. | ||||
| * | | Implement dyn Trait unsizing as well | Florian Diebold | 2020-02-22 | 5 | -9/+136 |
| | | | |||||
| * | | Implement unsize coercion using proper trait solving | Florian Diebold | 2020-02-22 | 5 | -187/+170 |
| |/ | |||||
* | | Fix dat comment | Veetaha | 2020-02-22 | 1 | -1/+1 |
| | | |||||
* | | Merge #3260 | bors[bot] | 2020-02-22 | 5 | -68/+55 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 3260: Refactor how builtins are resolved r=matklad a=flodiebold This fixes autocompletion suggesting e.g. `self::usize`. (I thought we had a bug for that, but I didn't find it.) Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | | Refactor how builtins are resolved | Florian Diebold | 2020-02-21 | 5 | -68/+55 |
| | | | | | | | | | | | | This fixes autocompletion suggesting e.g. self::usize. | ||||
* | | | ra_mbe: Remove explicit type annotation | Veetaha | 2020-02-22 | 1 | -1/+1 |
| | | | |||||
* | | | ra_mbe: added test for malformed token in macro invokation | Veetaha | 2020-02-22 | 1 | -3/+21 |
| | | | | | | | | | | | | | | | There was a panic where lexer returned None on malformed tokens. But now we just ignore tokenization errors in mbe. | ||||
* | | | ra_mbe: convert_literal now works with malformed tokens | Veetaha | 2020-02-22 | 1 | -2/+3 |
| |/ |/| | |||||
* | | Merge #3262 | bors[bot] | 2020-02-22 | 5 | -6/+85 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3262: Fix handling of const patterns r=matklad a=flodiebold E.g. in `match x { None => ... }`, `None` is a path pattern (resolving to the option variant), not a binding. To determine this, we need to try to resolve the name during lowering. This isn't too hard since we already need to resolve names for macro expansion anyway (though maybe a bit hacky). Fixes #1618. Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | | Fix handling of const patterns | Florian Diebold | 2020-02-21 | 5 | -6/+85 |
| |/ | | | | | | | | | | | | | | | | | E.g. in `match x { None => ... }`, `None` is a path pattern (resolving to the option variant), not a binding. To determine this, we need to try to resolve the name during lowering. This isn't too hard since we already need to resolve names for macro expansion anyway (though maybe a bit hacky). Fixes #1618. | ||||
* | | remove unneeded `collect` | adamrk | 2020-02-21 | 1 | -11/+7 |
| | | |||||
* | | use Vec::extend instead of Vec::push in loop | Adam Bratschi-Kaye | 2020-02-21 | 1 | -3/+1 |
| | | | | | | | | Co-Authored-By: Laurențiu Nicola <[email protected]> | ||||
* | | rename module references | adamrk | 2020-02-21 | 1 | -0/+112 |
|/ | |||||
* | Normalize associated types in types coming from Chalk | Florian Diebold | 2020-02-21 | 2 | -1/+46 |
| | | | | Fixes #3232. | ||||
* | Remove unused placeholder | Edwin Cheng | 2020-02-21 | 1 | -1/+1 |
| | |||||
* | Improve server version info | Edwin Cheng | 2020-02-21 | 1 | -1/+29 |
| | |||||
* | Better errorse | Aleksey Kladov | 2020-02-20 | 1 | -2/+2 |
| | |||||
* | Fix off by one in onEnter | Laurențiu Nicola | 2020-02-20 | 1 | -1/+14 |
| | |||||
* | Merge #3215 | bors[bot] | 2020-02-19 | 2 | -6/+34 |
|\ | | | | | | | | | | | | | | | | | | | 3215: Exclude methods from non-parameter types introduced by generic constraints r=flodiebold a=lnicola Fixes #3184. r? @flodiebold Co-authored-by: Laurențiu Nicola <[email protected]> | ||||
| * | Exclude methods from non-parameter types introduced by generic constraints | Laurențiu Nicola | 2020-02-19 | 2 | -6/+34 |
| | |