Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | Merge pull request #3327 from matklad/bitsetoops | Aleksey Kladov | 2020-02-26 | 1 | -2/+3 | |
|\ \ \ \ | | | | | | | | | | | Fix bitset ops | |||||
| * | | | | Fix bitset ops | Aleksey Kladov | 2020-02-26 | 1 | -2/+3 | |
| | | | | | ||||||
* | | | | | Merge pull request #3325 from edwin0cheng/skip-trival-token | Aleksey Kladov | 2020-02-26 | 4 | -23/+54 | |
|\ \ \ \ \ | |/ / / / |/| | | | | Skip trival token in original_range | |||||
| * | | | | Skip trival token in original_range | Edwin Cheng | 2020-02-26 | 4 | -23/+54 | |
| | | | | | ||||||
* | | | | | More type safety for highlighting | Aleksey Kladov | 2020-02-26 | 6 | -93/+111 | |
|/ / / / | ||||||
* | | | | Remove duplicate comment | Edwin Cheng | 2020-02-26 | 1 | -1/+0 | |
| | | | | ||||||
* | | | | Add recursive support in original_range | Edwin Cheng | 2020-02-26 | 2 | -14/+58 | |
| | | | | ||||||
* | | | | Remove dead code | Aleksey Kladov | 2020-02-26 | 2 | -25/+9 | |
| | | | | ||||||
* | | | | Reduce visibility | Aleksey Kladov | 2020-02-26 | 3 | -76/+81 | |
| | | | | ||||||
* | | | | Refactor primary IDE API | Aleksey Kladov | 2020-02-26 | 49 | -979/+1027 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This introduces the new type -- Semantics. Semantics maps SyntaxNodes to various semantic info, such as type, name resolution or macro expansions. To do so, Semantics maintains a HashMap which maps every node it saw to the file from which the node originated. This is enough to get all the necessary hir bits just from syntax. | |||||
* | | | | Merge pull request #3317 from matklad/no-unicase | Aleksey Kladov | 2020-02-26 | 2 | -2/+0 | |
|\ \ \ \ | | | | | | | | | | | Actually drop unicase dependency | |||||
| * | | | | Actually drop unicase dependency | Aleksey Kladov | 2020-02-26 | 2 | -2/+0 | |
| | | | | | ||||||
* | | | | | Remove code duplication in tests | Aleksey Kladov | 2020-02-26 | 3 | -101/+74 | |
|/ / / / | ||||||
* | | | | 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 | |
| |/ |/| |