aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix handling of the binders in dyn/impl TraitFlorian Diebold2019-11-164-45/+116
| | | | | | | | | We need to be more careful now when substituting bound variables (previously, we didn't have anything that used bound variables except Chalk, so it was not a problem). This is obviously quite ad-hoc; Chalk has more infrastructure for handling this in a principled way, which we maybe should adopt.
* Use Chalk's dyn/impl trait supportFlorian Diebold2019-11-163-13/+16
|
* Upgrade ChalkFlorian Diebold2019-11-166-140/+240
| | | | | Associated type values (in impls) are now a separate entity in Chalk, so we have to intern separate IDs for them.
* Merge #2271bors[bot]2019-11-1510-54/+51
|\ | | | | | | | | | | | | | | 2271: Force passing Source when creating a SourceAnalyzer r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Force passing Source when creating a SourceAnalyzerAleksey Kladov2019-11-1510-53/+51
| |
| * Prepare SourceAnalyzer for macrosAleksey Kladov2019-11-151-1/+0
| |
* | Merge #2268bors[bot]2019-11-153-5/+47
|\ \ | |/ |/| | | | | | | | | | | 2268: Handle ast::MacroCall in classify_name and impl FromSource for MacroDef r=matklad a=kjeremy Fixes #2260 Co-authored-by: kjeremy <[email protected]>
| * Add a test that uses classify_namekjeremy2019-11-151-0/+15
| |
| * Handle ast::MacroCall in classify_name and impl FromSource for MacroDefkjeremy2019-11-152-5/+32
| | | | | | | | Fixes #2260
* | Merge #2270bors[bot]2019-11-156-10/+14
|\ \ | | | | | | | | | | | | | | | | | | | | | 2270: Reduce some duplication r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Reduce some duplicationAleksey Kladov2019-11-155-8/+12
| | |
| * | Remove wrong cloneAleksey Kladov2019-11-151-2/+2
| | |
* | | Merge #2269bors[bot]2019-11-152-20/+35
|\| | | |/ |/| | | | | | | | | | | 2269: Prepare SourceAnalyzer for macros r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Prepare SourceAnalyzer for macrosAleksey Kladov2019-11-152-9/+14
| |
| * Sourcify some moreAleksey Kladov2019-11-152-13/+23
|/
* Merge #2266bors[bot]2019-11-156-21/+22
|\ | | | | | | | | | | | | | | 2266: Sourcify some things r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Sourcify some thingsAleksey Kladov2019-11-156-21/+22
| | | | | | | | | | If we want to support macros properly, we need to get rid of those FileIds everywhere...
* | Merge #2252bors[bot]2019-11-1511-31/+207
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2252: Fix parsing of "postfix" range expressions. r=matklad a=goffrie Right now they are handled in `postfix_dot_expr`, but that doesn't allow it to correctly handle precedence. Integrate it more tightly with the Pratt parser instead. Also includes a drive-by fix for parsing `match .. {}`. Fixes #2242. Co-authored-by: Geoffry Song <[email protected]>
| * | Attempt to implement typed accessorsGeoffry Song2019-11-154-8/+50
| | |
| * | Move inclusive range check to validationGeoffry Song2019-11-155-11/+33
| | |
| * | Fix parsing of "postfix" range expressions.Geoffry Song2019-11-157-30/+142
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Right now they are handled in `postfix_dot_expr`, but that doesn't allow it to correctly handle precedence. Integrate it more tightly with the Pratt parser instead. Also includes a drive-by fix for parsing `match .. {}`. Fixes #2242.
* | | Merge #2265bors[bot]2019-11-151-5/+64
|\ \ \ | |_|/ |/| | | | | | | | | | | | | | | | | 2265: Fix add-new assist r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Fix add-new assistAleksey Kladov2019-11-151-5/+64
|/ /
* | Merge #2264bors[bot]2019-11-1518-370/+241
|\ \ | | | | | | | | | | | | | | | | | | | | | 2264: move impls to hir-def r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Remove old impls infrastructureAleksey Kladov2019-11-1515-358/+181
| | |
| * | Store impls in CrateDefMapAleksey Kladov2019-11-153-4/+39
| | |
| * | Add ImplIdAleksey Kladov2019-11-152-9/+22
| | |
| * | Reduce visibilityAleksey Kladov2019-11-151-1/+1
| | |
* | | Merge #2262bors[bot]2019-11-151-1/+1
|\| | | | | | | | | | | | | | | | | | | | | | | 2262: Speedup builds for users r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Speedup builds for usersAleksey Kladov2019-11-151-1/+1
| | |
* | | Merge #2261bors[bot]2019-11-151-1/+1
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 2261: Reduce visibility r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Reduce visibilityAleksey Kladov2019-11-151-1/+1
|/ /
* | Merge #2259bors[bot]2019-11-153-6/+10
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | 2259: Update smallvec and fix rustc warning r=matklad a=memoryruins - Update smallvec in ra_mbe to [1.0](https://github.com/servo/rust-smallvec/releases/tag/v1.0.0) - Heed rustc's `array_into_iter` lint https://github.com/rust-lang/rust/issues/66145 Co-authored-by: memoryruins <[email protected]>
| * | Heed the advice of rustc's into_iter() warningmemoryruins2019-11-151-4/+2
| | |
| * | Update smallvec dep to 1.0memoryruins2019-11-152-2/+8
|/ /
* | Merge #2257bors[bot]2019-11-157-334/+345
|\ \ | | | | | | | | | | | | | | | | | | | | | 2257: Flatten expr module r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Flatten expr moduleAleksey Kladov2019-11-153-141/+130
| | |
| * | Move scope tests to hir_defAleksey Kladov2019-11-155-211/+233
| | |
| * | Reduce visibilityAleksey Kladov2019-11-151-3/+3
|/ /
* | Merge #2255bors[bot]2019-11-154-7/+15
|\ \ | | | | | | | | | | | | | | | | | | | | | 2255: Add convenience method for testing r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Add convenience method for testingAleksey Kladov2019-11-154-7/+15
| | |
* | | Merge #2254bors[bot]2019-11-1517-1596/+1643
|\| | | | | | | | | | | | | | | | | | | | | | | 2254: Auto-upgrade some insta snapshots r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Auto-upgrade some insta snapshotsAleksey Kladov2019-11-1517-1596/+1643
|/ /
* | Merge #2253bors[bot]2019-11-154-27/+20
|\ \ | | | | | | | | | | | | | | | | | | | | | 2253: Reduce visibility r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Reduce visibilityAleksey Kladov2019-11-151-3/+3
| | |
| * | Use Local moreAleksey Kladov2019-11-154-24/+17
|/ /
* | Merge #2251bors[bot]2019-11-154-35/+50
|\ \ | |/ |/| | | | | | | | | | | 2251: Privatize modules r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Privatize modulesAleksey Kladov2019-11-152-2/+6
| |
| * Refactor Module::from_source to properly descend from root fileAleksey Kladov2019-11-153-33/+44
| |
* | Merge #2165bors[bot]2019-11-154-0/+424
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 2165: ra_assists: Add add_new assist r=matklad a=rep-nop Adds a new assist to autogenerate a new fn based on the selected struct, excluding tuple structs and unions. The fn will inherit the same visibility as the struct and the assist will attempt to reuse any existing impl blocks that exist at the same level of struct. Not marking this as closing #1644 since there's a part 2 of adding autocompletion for when someone starts typing `[pub ]fn new(...` Co-authored-by: Wesley Norris <[email protected]>