aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge #2453bors[bot]2019-11-308-63/+102
|\ | | | | | | | | | | | | | | | | | | | | 2453: Handle various cycles r=matklad a=flodiebold - handle `impl Trait<Self> for SomeType`, which is allowed. This necessitated splitting the `impl_ty` query, but I think the result actually makes a lot of code nicer. This should fix #2446. - add recovery for `impl Trait for SomeType<Self>` - add recovery for `type Type = Foo<Type>` - add recovery for cycles in generic param env Co-authored-by: Florian Diebold <[email protected]>
| * Add cycle recovery for type aliasesFlorian Diebold2019-11-303-2/+10
| |
| * Add cycle recovery for generic predicatesFlorian Diebold2019-11-303-8/+10
| |
| * Handle cycles in impl types betterFlorian Diebold2019-11-308-53/+82
|/ | | | | | - impl Trait<Self> for S is allowed - impl Trait for S<Self> is an invalid cycle, but we can add cycle recovery for it in Salsa now
* Merge #2449bors[bot]2019-11-302-3/+51
|\ | | | | | | | | | | | | | | 2449: Only allow renames to valid identifiers r=matklad a=detrumi Implements #2121 Co-authored-by: Wilco Kusee <[email protected]>
| * Push identifier check to rename functionWilco Kusee2019-11-292-9/+9
| |
| * Test rename for various identifiersWilco Kusee2019-11-291-0/+43
| |
| * Move identifier check to analysisWilco Kusee2019-11-292-12/+9
| |
| * Also allow renaming to underscoreWilco Kusee2019-11-291-1/+3
| |
| * Only allow renames to valid identifiersWilco Kusee2019-11-291-1/+7
| |
* | Merge #2445bors[bot]2019-11-297-1/+185
|\ \ | |/ |/| | | | | | | | | | | 2445: Infer range types r=flodiebold a=oxalica Co-authored-by: oxalica <[email protected]>
| * Reduce variants of Exproxalica2019-11-293-77/+56
| |
| * Infer range typesoxalica2019-11-287-4/+209
|/
* Merge #2442bors[bot]2019-11-2810-60/+77
|\ | | | | | | | | | | | | | | 2442: Move source-related traits to a separate module r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Move source-related traits to a separate moduleAleksey Kladov2019-11-2810-60/+77
|/
* Merge #2441bors[bot]2019-11-286-47/+16
|\ | | | | | | | | | | | | | | 2441: Use InFile for AstId r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Use InFile for AstIdAleksey Kladov2019-11-286-47/+16
|/
* Merge #2440bors[bot]2019-11-2836-189/+189
|\ | | | | | | | | | | | | | | 2440: Rename Source -> InFile r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Rename Source -> InFileAleksey Kladov2019-11-2836-189/+189
|/
* Merge #2438bors[bot]2019-11-281-8/+8
|\ | | | | | | | | | | | | | | 2438: Derive Hash for tt::TokenTree r=matklad a=edwin0cheng Preparation for intern `TokenTree` to salsa database Co-authored-by: Edwin Cheng <[email protected]>
| * Derive Hash for TokenTreesEdwin Cheng2019-11-281-8/+8
|/
* Merge #2437bors[bot]2019-11-271-7/+8
|\ | | | | | | | | | | | | | | 2437: Update mio and anyhow r=kjeremy a=kjeremy Co-authored-by: kjeremy <[email protected]>
| * Update mio and anyhowkjeremy2019-11-271-7/+8
|/
* Merge #2433bors[bot]2019-11-277-52/+33
|\ | | | | | | | | | | | | | | 2433: Use Name::missing consistently r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Use Name::missing consistentlyAleksey Kladov2019-11-277-52/+33
|/
* Merge #2432bors[bot]2019-11-272-16/+4
|\ | | | | | | | | | | | | | | 2432: Minimize API r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Minimize APIAleksey Kladov2019-11-272-16/+4
| |
* | Merge #2431bors[bot]2019-11-277-75/+76
|\| | | | | | | | | | | | | | | 2431: Memoize impl resolutions r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Memoize impl resolutionsAleksey Kladov2019-11-277-75/+76
| |
* | Merge #2430bors[bot]2019-11-2794-100/+97
|\| | | | | | | | | | | | | | | 2430: rename ra_ide_api -> ra_ide r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * ReformatAleksey Kladov2019-11-273-10/+7
| |
| * rename ra_ide_api -> ra_ideAleksey Kladov2019-11-2781-48/+48
| |
| * Rename module_id -> local_idAleksey Kladov2019-11-2713-47/+47
| |
* | Merge #2429bors[bot]2019-11-2737-1582/+1629
|\| | | | | | | | | | | | | | | 2429: Move type inference to a separate crate r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * prune depsAleksey Kladov2019-11-274-47/+12
| |
| * Move TyAleksey Kladov2019-11-2736-1515/+1602
| |
| * DecoupleAleksey Kladov2019-11-271-20/+15
| |
* | Merge #2428bors[bot]2019-11-2712-219/+131
|\| | | | | | | | | | | | | | | 2428: Remove TypableDef r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Remove TypableDefAleksey Kladov2019-11-274-98/+7
| |
| * Cleanup importsAleksey Kladov2019-11-272-3/+3
| |
| * Use Id for variatsAleksey Kladov2019-11-277-52/+60
| |
| * More decouplingAleksey Kladov2019-11-274-33/+27
| |
| * Decouple moreAleksey Kladov2019-11-275-40/+41
|/
* Merge #2427bors[bot]2019-11-272-24/+32
|\ | | | | | | | | | | | | | | 2427: Decouple r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * DecoupleAleksey Kladov2019-11-272-24/+32
| |
* | Merge #2426bors[bot]2019-11-279-62/+90
|\| | | | | | | | | | | | | | | 2426: Decouple r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * DecoupleAleksey Kladov2019-11-275-49/+71
| |
| * Cleanup importsAleksey Kladov2019-11-275-14/+20
| |
* | Merge #2425bors[bot]2019-11-275-29/+52
|\| | | | | | | | | | | | | | | 2425: Decouple r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * DecoupleAleksey Kladov2019-11-274-11/+24
| |
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 23:44:02 +0000