aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
* | Support all coercion placesuHOOCCOOHu2019-09-253-96/+216
| |
* | Support custom `CoerceUnsized`uHOOCCOOHu2019-09-254-247/+476
| | | | | | | | Split out tests about coercion
* | Better handle never type and branch merginguHOOCCOOHu2019-09-255-181/+392
| | | | | | | | Split out tests for never type to another file
* | Support basic implicit type coerceuHOOCCOOHu2019-09-252-142/+383
| |
* | Support auto-deref in argument positionuHOOCCOOHu2019-09-252-1/+161
|/
* Merge #1912bors[bot]2019-09-256-31/+119
|\ | | | | | | | | | | | | | | 1912: add new editing API, suitable for modifying several nodes at once r=viorina a=matklad r? @viorina Co-authored-by: Aleksey Kladov <[email protected]>
| * add new editing API, suitable for modifying several nodes at onceAleksey Kladov2019-09-256-31/+119
| |
* | Resolve trait associated itemsFlorian Diebold2019-09-255-19/+78
| | | | | | | | E.g. `Default::default` or `<Foo as Default>::default`.
* | Fix retrieval of the Fn traitsFlorian Diebold2019-09-254-8/+7
|/ | | | | I used the wrong query, so it only used the lang items from the respective crate...
* Merge #1911bors[bot]2019-09-252-6/+6
|\ | | | | | | | | | | | | | | 1911: fewer monomorphisations r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * fewer monomorphisationsAleksey Kladov2019-09-252-6/+6
| |
* | clean up namingAleksey Kladov2019-09-252-2/+2
| |
* | cleanup diagnosticsAleksey Kladov2019-09-251-4/+6
| |
* | shorten AstBuilder namesAleksey Kladov2019-09-255-54/+42
| |
* | minor builder cleanupsAleksey Kladov2019-09-253-55/+55
| |
* | cleaned up record field builderAleksey Kladov2019-09-252-7/+4
| |
* | move ast builder to a separate fileAleksey Kladov2019-09-257-235/+237
| |
* | move assists to subdirAleksey Kladov2019-09-2520-49/+55
|/
* Merge #1906bors[bot]2019-09-251-2/+5
|\ | | | | | | | | | | | | | | 1906: Add missing lang-items to `def_crates` r=matklad a=sinkuu Co-authored-by: Shotaro Yamada <[email protected]>
| * Add missing lang-items to `def_crates`Shotaro Yamada2019-09-251-2/+5
| |
* | Remove redundant clone()Shotaro Yamada2019-09-2514-29/+21
| |
* | Avoid intermediate allocationShotaro Yamada2019-09-251-1/+1
|/
* Implement the call argument checking order hack for closuresFlorian Diebold2019-09-243-12/+108
|
* Make the closure_1 test workFlorian Diebold2019-09-243-27/+40
|
* Make closures impl closure traitsFlorian Diebold2019-09-244-41/+188
|
* Give closures typesFlorian Diebold2019-09-245-21/+78
|
* Upgrade Chalk againFlorian Diebold2019-09-241-3/+6
|
* simplifyAleksey Kladov2019-09-244-39/+25
|
* Merge #1898bors[bot]2019-09-233-3/+3
|\ | | | | | | | | | | | | | | | | 1898: Drive by lints r=kjeremy a=kjeremy Co-authored-by: kjeremy <[email protected]> Co-authored-by: Jeremy Kolb <[email protected]>
| * Revert SelfJeremy Kolb2019-09-231-1/+1
| |
| * Drive by lintskjeremy2019-09-234-4/+4
| |
* | Upgrade ChalkFlorian Diebold2019-09-231-4/+6
|/
* Split off path expression inference code into submoduleFlorian Diebold2019-09-232-172/+199
|
* Merge #1895bors[bot]2019-09-227-23/+173
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1895: Handle associated type shorthand (`T::Item`) (Second attempt) r=flodiebold a=flodiebold This is only allowed for generic parameters (including `Self` in traits), and special care needs to be taken to not run into cycles while resolving it, because we use the where clauses of the generic parameter to find candidates for the trait containing the associated type, but the where clauses may themselves contain instances of short-hand associated types. In some cases this is even fine, e.g. we might have `T: Trait<U::Item>, U: Iterator`. If there is a cycle, we'll currently panic, which isn't great, but better than overflowing the stack... Co-authored-by: Florian Diebold <[email protected]>
| * Handle projection types from ChalkFlorian Diebold2019-09-221-1/+5
| |
| * Handle associated type shorthand (`T::Item`)Florian Diebold2019-09-227-392/+538
| | | | | | | | | | | | | | | | | | | | | | | | This is only allowed for generic parameters (including `Self` in traits), and special care needs to be taken to not run into cycles while resolving it, because we use the where clauses of the generic parameter to find candidates for the trait containing the associated type, but the where clauses may themselves contain instances of short-hand associated types. In some cases this is even fine, e.g. we might have `T: Trait<U::Item>, U: Iterator`. If there is a cycle, we'll currently panic, which isn't great, but better than overflowing the stack...
* | remove obsolete TOODAleksey Kladov2019-09-221-1/+0
| | | | | | | | I have no idea what I've meant to fix here :-(
* | test for TOODs as wellAleksey Kladov2019-09-222-371/+371
| |
* | minor cleanupAleksey Kladov2019-09-221-1/+8
|/
* Support open source version of vscode as wellJens Hausdorf2019-09-211-1/+1
|
* Support loop as argumentkjeremy2019-09-203-0/+65
|
* Merge #1888bors[bot]2019-09-206-12/+76
|\ | | | | | | | | | | | | | | | | | | 1888: allow compiling ra_ide_api on wasm r=matklad a=matklad bors r+ this is from #1746 Co-authored-by: Aleksey Kladov <[email protected]>
| * allow compiling ra_ide_api on wasmAleksey Kladov2019-09-206-12/+76
| |
* | Simplify match armkjeremy2019-09-201-2/+1
| |
* | Merge #1884bors[bot]2019-09-203-2/+91
|\ \ | | | | | | | | | | | | | | | | | | | | | 1884: Add indexing to record_field_pat r=matklad a=kjeremy Fixes #1870 Co-authored-by: kjeremy <[email protected]>
| * | Apply suggestionkjeremy2019-09-201-3/+2
| | |
| * | Add indexing to record_field_patkjeremy2019-09-203-2/+92
| |/
* | Merge #1883bors[bot]2019-09-203-2/+40
|\ \ | | | | | | | | | | | | | | | | | | | | | 1883: Fix path attribute causing false "unresolved module" error for submodules r=matklad a=gfreezy fixed #1880 Co-authored-by: gfreezy <[email protected]>
| * | fix module attr pathgfreezy2019-09-203-2/+40
| | |
* | | fix infinite loop in the parserAleksey Kladov2019-09-203-7/+64
| |/ |/| | | | | closes #1866