aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | | | Fix coercion of &T to itselfFlorian Diebold2020-02-162-0/+24
|/ / / / / / | | | | | | | | | | | | | | | | | | | | | | | | The autoderef coercion logic did not handle matching placeholders. This led to some type mismatches.
* | | | | | Merge #3157bors[bot]2020-02-154-14/+96
|\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3157: Extend analysis-stats a bit r=matklad a=flodiebold This adds some tools helpful when debugging nondeterminism in analysis-stats: - a `--randomize` option that analyses everything in random order - a `-vv` option that prints even more detail Also add a debug log if Chalk fuel is exhausted (which would be a source of nondeterminism, but didn't happen in my tests). I found one source of nondeterminism (rust-lang/chalk#331), but there are still other cases remaining. Co-authored-by: Florian Diebold <[email protected]>
| * | | | | | Extend analysis-stats a bitFlorian Diebold2020-02-154-14/+96
| |/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This adds some tools helpful when debugging nondeterminism in analysis-stats: - a `--randomize` option that analyses everything in random order - a `-vv` option that prints even more detail Also add a debug log if Chalk fuel is exhausted (which would be a source of nondeterminism, but didn't happen in my tests). I found one source of nondeterminism (rust-lang/chalk#331), but there are still other cases remaining.
* / / / / / Remove extra depAleksey Kladov2020-02-151-1/+0
|/ / / / /
* | | | / Bump crate resolution limit for large projectsBenjamin Brittain2020-02-141-1/+1
| |_|_|/ |/| | | | | | | | | | | Change-Id: Ie0221e5bcfd1779cd5e241f96b4489e5bd3854c1
* | | | Merge #3147bors[bot]2020-02-143-0/+42
|\ \ \ \ | |_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | 3147: Check that impl self type matches up with expected self type in path mode r=matklad a=flodiebold Fixes #3144. Co-authored-by: Florian Diebold <[email protected]>
| * | | Check that impl self type matches up with expected self type in path modeFlorian Diebold2020-02-143-0/+42
| | | | | | | | | | | | | | | | Fixes #3144.
* | | | Merge #3145bors[bot]2020-02-144-9/+78
|\ \ \ \ | |/ / / |/| | | | | | | | | | | | | | | | | | | | | | | 3145: Make Self implement the trait inside trait default methods r=matklad a=flodiebold Co-authored-by: Florian Diebold <[email protected]>
| * | | Make Self implement the trait inside trait default methodsFlorian Diebold2020-02-144-9/+78
| | | |
* | | | Make AtomicX type resolve againAleksey Kladov2020-02-141-2/+4
|/ / /
* | | Move hir_fmt code to display moduleFlorian Diebold2020-02-142-372/+376
| | |
* | | Rename Ty::Param => Ty::PlaceholderFlorian Diebold2020-02-143-11/+11
| | | | | | | | | | | | This aligns more with Chalk.
* | | Merge #3120bors[bot]2020-02-132-45/+545
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3120: Support trait auto import r=matklad a=SomeoneToIgnore Unfortunately, for real cases it does not work as spectacular as in the tests. The main reason for that is type inference: * The callee type [here](https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ra_hir_ty/src/method_resolution.rs#L369) is unknown for many cases * The trait solution [here](https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ra_hir_ty/src/method_resolution.rs#L399) is also often ambiguous That results in trait candidates being rejected, and some real cases not supported. Example: no imports for `String::from_str("test")` Co-authored-by: Kirill Bulatov <[email protected]>
| * | | Do not collect all traitsKirill Bulatov2020-02-121-102/+53
| | | |
| * | | Support associated constsKirill Bulatov2020-02-121-18/+133
| | | |
| * | | Also consider associated constantsKirill Bulatov2020-02-121-8/+8
| | | |
| * | | Revert source_analyzer changesKirill Bulatov2020-02-122-55/+6
| | | |
| * | | Fix post-rebase issuesKirill Bulatov2020-02-122-25/+25
| | | |
| * | | Refactor the codeKirill Bulatov2020-02-121-96/+93
| | | |
| * | | Adjust the assist group nameKirill Bulatov2020-02-121-9/+25
| | | |
| * | | Add profilingKirill Bulatov2020-02-121-0/+3
| | | |
| * | | Support trait method call autoimportsKirill Bulatov2020-02-122-101/+211
| | | |
| * | | Trait location draftKirill Bulatov2020-02-122-20/+127
| | | |
| * | | Refactor path for imports extractionKirill Bulatov2020-02-121-20/+92
| | | |
| * | | Add method testsKirill Bulatov2020-02-121-3/+116
| | | |
| * | | Resolve methods and functions betterKirill Bulatov2020-02-122-9/+74
| | | |
* | | | Add error context to failures in `ra_project_model` using `anyhow` crate (#3119)Adam Bratschi-Kaye2020-02-134-20/+58
| | | | | | | | | | | | Add error context to failures in ra_project_model using anyhow crate
* | | | prevent "Play" symbol in "Run Test" code lens from rendering as emojiQuan Luu2020-02-131-1/+1
| | | |
* | | | Run cargo testHan Mertens2020-02-121-0/+26
| | | |
* | | | Run cargo xtask codegenHan Mertens2020-02-121-0/+1
| | | |
* | | | Add test for unnamed argument in function pointerHan Mertens2020-02-121-0/+3
| | | |
* | | | Support unnamed arguments in function pointersHan Mertens2020-02-121-1/+1
| | | | | | | | | | | | | | | | Fixes #3089
* | | | Add couple of utility methodsAleksey Kladov2020-02-121-3/+19
| | | |
* | | | SimplifyAleksey Kladov2020-02-121-15/+7
|/ / /
* | | Merge #3121bors[bot]2020-02-123-7/+49
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3121: Do not add imports before inner attributes r=matklad a=SomeoneToIgnore Current `insert_use_statement` function adds imports before inner attributes which results in compiler errors: <img width="1440" alt="image" src="https://user-images.githubusercontent.com/2690773/74344019-a3749500-4db4-11ea-9d88-f71e903e795a.png"> Co-authored-by: Kirill Bulatov <[email protected]>
| * | | Fix the trailing whitespace testKirill Bulatov2020-02-121-4/+1
| | | |
| * | | Introduce AttrKindKirill Bulatov2020-02-123-8/+16
| | | |
| * | | Do not add imports before inner attributesKirill Bulatov2020-02-122-1/+38
| | | |
* | | | Add more hir APIs for associated itemsAleksey Kladov2020-02-122-14/+64
|/ / /
* | | Merge #3062bors[bot]2020-02-116-9/+59
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3062: Implement slice pattern AST > HIR lowering r=jplatte a=jplatte WIP. The necessary changes for parsing are implemented, but actual inference is not yet. Just wanted to upload what I've got so far so it doesn't get duplicated :) Will fix #3043 Co-authored-by: Jonas Platte <[email protected]>
| * | | Implement slice pattern AST > HIR loweringJonas Platte2020-02-116-9/+59
| | | |
* | | | Don't let unknown match arms fall back to !Florian Diebold2020-02-112-1/+22
| | | |
* | | | Return early, return oftenAleksey Kladov2020-02-111-27/+33
| | | |
* | | | Fix join lines when two rules matchAleksey Kladov2020-02-111-23/+46
| | | |
* | | | Merge #3064bors[bot]2020-02-112-25/+68
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3064: Handle macro token cases for rename r=matklad a=edwin0cheng Fixes #2957 Co-authored-by: Edwin Cheng <[email protected]>
| * | | | Use get_or_insert_withEdwin Cheng2020-02-091-4/+3
| | | | |
| * | | | Handle macro token cases for renameEdwin Cheng2020-02-092-25/+69
| |/ / /
* | | | Better error messages while deserializingAleksey Kladov2020-02-113-11/+17
| | | |
* | | | Merge #3074bors[bot]2020-02-1020-112/+420
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3074: Or patterns r=matthewjasper a=matthewjasper Works towards #2458 Co-authored-by: Matthew Jasper <[email protected]>
| * | | | Address review commentsMatthew Jasper2020-02-103-14/+66
| | | | |