aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix typo in commentDave Lage2020-08-151-1/+1
|
* Merge #5769bors[bot]2020-08-159-92/+51
|\ | | | | | | | | | | | | | | | | | | 5769: Don't expose hir::Path out of hir r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Don't expose hir::Path out of hirAleksey Kladov2020-08-159-92/+51
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Conjecture: it's impossible to use hir::Path *correctly* from an IDE. I am not entirely sure about this, and we might need to add it back at some point, but I have to arguments that convince me that we probably won't: * `hir::Path` has to know about hygiene, which an IDE can't set up properly. * `hir::Path` lacks identity, but you actually have to know identity to resolve it correctly
* | Merge #5768bors[bot]2020-08-152-25/+13
|\| | | | | | | | | | | | | | | | | | | 5768: Remove deprecated Path::from_ast r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Remove deprecated Path::from_astAleksey Kladov2020-08-152-25/+13
|/ | | | Long term, we probably should make hir::Path private to hir.
* Merge #5762bors[bot]2020-08-146-3/+51
|\ | | | | | | | | | | | | | | | | | | 5762: Add a proc_macro_test crate r=jonas-schievink a=jonas-schievink This exports all 3 kinds of proc macros and is useful for testing. bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * Add a proc_macro_test crateJonas Schievink2020-08-146-3/+51
|/ | | | This exports all 3 kinds of proc macros and is useful for testing
* Merge #5347bors[bot]2020-08-142-14/+30
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5347: Chalk writer integration r=flodiebold a=detrumi ~~This adds a `rust-analyzer dump-chalk` command, similar to analysis-stats, which writes out the whole chalk progam (see [chalk#365](https://github.com/rust-lang/chalk/issues/365) for more info about the .chalk writer)~~ Write out chalk programs in debug output if chalk debugging is active (using `CHALK_DEBUG`). Example output: ``` [DEBUG ra_hir_ty::traits] solve(UCanonical { canonical: Canonical { value: InEnvironment { environment: Env([]), goal: Implemented(SeparatorTraitRef(?)) }, binders: [] }, universes: 1 }) => None [INFO ra_hir_ty::traits] trait_solve_query(Implements(fn min<?0.0>(?0.0, ?0.0) -> ?0.0: Deref)) [DEBUG ra_hir_ty::traits] solve goal: UCanonical { canonical: Canonical { value: InEnvironment { environment: Env([]), goal: Implemented(SeparatorTraitRef(?)) }, binders: [U0 with kind type] }, universes: 1 } [DEBUG ra_hir_ty::traits::chalk] impls_for_trait Deref [DEBUG ra_hir_ty::traits::chalk] impls_for_trait returned 0 impls [DEBUG ra_hir_ty::traits::chalk] trait_datum Ord [DEBUG ra_hir_ty::traits::chalk] trait Ord = Name(Text("Ord")) [DEBUG ra_hir_ty::traits] chalk program: #[upstream] #[non_enumerable] #[object_safe] trait Ord {} #[upstream] #[non_enumerable] #[object_safe] #[lang(sized)] trait Sized {} fn fn_0<_1_0>(arg_0: _1_0, arg_1: _1_0) -> _1_0 where _1_0: Ord; #[upstream] #[non_enumerable] #[object_safe] trait Deref { type Assoc_1829: Sized; } [DEBUG ra_hir_ty::traits] solve(UCanonical { canonical: Canonical { value: InEnvironment { environment: Env([]), goal: Implemented(SeparatorTraitRef(?)) }, binders: [U0 with kind type] }, universes: 1 }) => None [INFO ra_hir_ty::traits] trait_solve_query(Implements(?0.0: Ord)) ``` Co-authored-by: Wilco Kusee <[email protected]>
| * Only print chalk programs with CHALK_PRINTWilco Kusee2020-08-141-10/+15
| |
| * Lookup adt namesWilco Kusee2020-08-141-1/+2
| |
| * Only use logging db if CHALK_DEBUG is activeWilco Kusee2020-08-141-12/+15
| |
| * Print chalk programs in debug outputWilco Kusee2020-08-142-12/+19
| |
* | Merge #5760bors[bot]2020-08-141-0/+1
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 5760: Document xtask has few deps invariant r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | Document xtask has few deps invariantAleksey Kladov2020-08-141-0/+1
|/ /
* | Merge #5759bors[bot]2020-08-143-8/+7
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 5759: Rename hypothetical -> speculative r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | Rename hypothetical -> speculativeAleksey Kladov2020-08-143-8/+7
|/ /
* | Merge #5757bors[bot]2020-08-142-9/+14
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 5757: Document the most important CI invariant r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | Document the most important CI invariantAleksey Kladov2020-08-142-9/+14
| |/
* | Merge #5756bors[bot]2020-08-141-7/+132
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | | | | | | 5756: Sophisticate Windows path encoding r=matklad a=pragmatrix As discussed in #5475, path encoding should be agnostic of the drive letter casing on Windows. Compared to the problem it solves, the code added seems a lot and may introduce other problems. But I've not found a simpler way basing this on the public API surface that Rust offers. Fixes #5484. cc @Emilgardis Co-authored-by: Armin Sander <[email protected]>
| * Sophisticate Windows path encodingArmin Sander2020-08-141-7/+132
|/
* Merge #5755bors[bot]2020-08-134-16/+39
|\ | | | | | | | | | | | | | | 5755: Make hygiene private to hir r=davidlattimore a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Make hygiene private to hirAleksey Kladov2020-08-134-16/+39
|/
* Merge #5753bors[bot]2020-08-133-59/+65
|\ | | | | | | | | | | | | | | | | | | 5753: Remove Hygiene from completion r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Remove Hygiene from completionAleksey Kladov2020-08-133-59/+65
| |
* | Merge #5752bors[bot]2020-08-132-0/+20
|\ \ | |/ |/| | | | | | | | | | | 5752: display correctly 'impl Trait<T> + Trait<T>' #4814 r=flodiebold a=bnjjj close #4814 Co-authored-by: Benjamin Coenen <[email protected]>
| * display correctly 'impl Trait<T> + Trait<T>' #4814Benjamin Coenen2020-08-132-0/+20
|/ | | | Signed-off-by: Benjamin Coenen <[email protected]>
* Merge #5751bors[bot]2020-08-133-13/+29
|\ | | | | | | | | | | | | | | | | | | 5751: Better recovery in `use foo::;` r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Better recovery in `use foo::;`Aleksey Kladov2020-08-132-7/+17
| |
| * MinorAleksey Kladov2020-08-131-6/+12
|/
* Merge #5750bors[bot]2020-08-13113-348/+246
|\ | | | | | | | | | | | | | | | | | | 5750: Rename ra_ide -> ide r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Align parser names with grammarAleksey Kladov2020-08-1317-223/+124
| |
| * Rename ra_ide -> ideAleksey Kladov2020-08-1396-125/+122
| |
* | Merge #5749bors[bot]2020-08-1357-35/+34
|\| | | | | | | | | | | | | | | | | | | 5749: Rename ra_assists -> assists r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Rename ra_assists -> assistsAleksey Kladov2020-08-1357-35/+34
| |
* | Merge #5748bors[bot]2020-08-13114-313/+288
|\| | | | | | | | | | | | | | | | | | | 5748: Rename ra_ssr -> ssr r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Rename ra_ssr -> ssrAleksey Kladov2020-08-1318-110/+95
| |
| * Rename ra_ide_db -> ide_dbAleksey Kladov2020-08-1359-99/+93
| |
| * Rename ra_hir -> hirAleksey Kladov2020-08-1321-62/+61
| |
| * Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-1340-47/+44
| |
* | Merge #5747bors[bot]2020-08-13144-263/+262
|\| | | | | | | | | | | | | | | | | 5747: Rename crate r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Somewhat fix pre-cacheAleksey Kladov2020-08-131-1/+1
| |
| * Rename ra_hir_def -> hir_defAleksey Kladov2020-08-1351-51/+51
| |
| * Rename ra_hir_expand -> hir_expandAleksey Kladov2020-08-1319-31/+30
| |
| * Rename ra_db -> base_dbAleksey Kladov2020-08-13111-183/+183
|/
* Merge #5746bors[bot]2020-08-133-15/+114
|\ | | | | | | | | | | | | | | 5746: Structured search replace now handles UFCS calls to trait methods r=matklad a=davidlattimore Co-authored-by: David Lattimore <[email protected]>
| * Structured search replace now handles UFCS calls to trait methodsDavid Lattimore2020-08-133-15/+114
| |
* | Merge #5745bors[bot]2020-08-1313-25/+26
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 5745: Rename ra_proc_macro -> proc_macro_api r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | Rename ra_proc_macro -> proc_macro_apiAleksey Kladov2020-08-1313-25/+26
|/ /
* | Merge #5732bors[bot]2020-08-131-8/+14
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | 5732: Consider only IdentPats for param name hints r=matklad a=SomeoneToIgnore Closes https://github.com/rust-analyzer/rust-analyzer/issues/4960 Avoid displaying any param name hints like <img width="590" alt="image" src="https://user-images.githubusercontent.com/2690773/90071461-47a4ad80-dcfe-11ea-9330-fb4f4e2d1b71.png"> Those hints seem to occupy plenty of space for no apparent benefit, with their destructured content not used in the code with the function hints. I'm not entirely sure if we should show something else than `IdentPat`s, since I don't understand some of the `Pat` variant meanings: https://github.com/rust-analyzer/rust-analyzer/blob/a1c187eef3ba08076aedb5154929f7eda8d1b424/crates/syntax/src/ast/generated/nodes.rs#L1336-L1352 Co-authored-by: Kirill Bulatov <[email protected]>
| * Consider only IdentPats for param name hintsKirill Bulatov2020-08-121-8/+14
| |