aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | | | Merge #3179bors[bot]2020-02-174-80/+130
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3179: Introduce AsMacroCall trait r=matklad a=edwin0cheng This PR introduce `AsMacroCall` trait to help convert `ast::MacroCall` to `MacroCallId`. The main goal here is to centralize various conversions to single place and make implementing eager macro calls without further ado. ```rust pub trait AsMacroCall { fn as_call_id( &self, db: &(impl db::DefDatabase + AstDatabase), resolver: impl Fn(path::ModPath) -> Option<MacroDefId>, ) -> Option<MacroCallId>; } ``` Co-authored-by: Edwin Cheng <[email protected]>
| * | | | | | Introduce AsMacroCall traitEdwin Cheng2020-02-174-80/+130
| | | | | | |
* | | | | | | 1-based columnsAleksey Kladov2020-02-161-1/+1
| | | | | | |
* | | | | | | Support goto def in bencesAleksey Kladov2020-02-162-13/+29
| | | | | | |
* | | | | | | Refactor arg parsingAleksey Kladov2020-02-161-11/+8
| | | | | | |
* | | | | | | Refactor position parsingAleksey Kladov2020-02-162-19/+28
| | | | | | |
* | | | | | | Enable profiling for benchAleksey Kladov2020-02-163-6/+10
| | | | | | |
* | | | | | | Add module colors to cssAleksey Kladov2020-02-163-0/+3
| | | | | | |
* | | | | | | 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
| | | |