aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* (T): make typification tests more data drivenAleksey Kladov2020-06-295-133/+137
|
* Merge #5124bors[bot]2020-06-295-21/+98
|\ | | | | | | | | | | | | | | 5124: (Partially) fix handling of type params depending on type params r=matklad a=flodiebold If the first type parameter gets inferred, that's still not handled correctly; it'll require some more refactoring: E.g. if we have `Thing<T, F=fn() -> T>` and then instantiate `Thing<_>`, that gets turned into `Thing<_, fn() -> _>` before the `_` is instantiated into a type variable -- so afterwards, we have two type variables without any connection to each other. Co-authored-by: Florian Diebold <[email protected]>
| * (Partially) fix handling of type params depending on type paramsFlorian Diebold2020-06-295-21/+98
| | | | | | | | | | | | | | | | If the first type parameter gets inferred, that's still not handled correctly; it'll require some more refactoring: E.g. if we have `Thing<T, F=fn() -> T>` and then instantiate `Thing<_>`, that gets turned into `Thing<_, fn() -> _>` before the `_` is instantiated into a type variable -- so afterwards, we have two type variables without any connection to each other.
* | Merge #5105bors[bot]2020-06-2820-119/+44
|\ \ | | | | | | | | | | | | | | | | | | | | | 5105: Simlify with matches!() r=matklad a=Veetaha Co-authored-by: Veetaha <[email protected]>
| * | Get rid of unused importsVeetaha2020-06-282-10/+3
| | |
| * | Follow matklad suggestionsVeetaha2020-06-285-19/+17
| | | | | | | | | | | | | | | | | | - Move vis_offset() to utils.rs - Shorten explicit ra_syntax::ast -> ast - Undo refactoring exhaustive pattern to non-exhaustive
| * | Simlify with matches!()Veetaha2020-06-2820-98/+32
| | |
* | | Merge #5114bors[bot]2020-06-283-94/+128
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5114: Cleanup cargo process handling in flycheck r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | Cleanup cargo process handling in flycheckAleksey Kladov2020-06-282-61/+66
| | | |
| * | | More standard pattern for CargoAleksey Kladov2020-06-281-76/+83
| | | |
| * | | NamingAleksey Kladov2020-06-282-12/+11
| | | |
| * | | RenameAleksey Kladov2020-06-281-3/+3
| | | |
| * | | Make sure to join the childAleksey Kladov2020-06-281-2/+25
| | |/ | |/|
* | | Merge #5113bors[bot]2020-06-281-2/+2
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5113: Update instant r=kjeremy a=kjeremy Co-authored-by: Jeremy Kolb <[email protected]>
| * | | Update instantJeremy Kolb2020-06-281-2/+2
|/ / /
* | | Merge #5112bors[bot]2020-06-282-10/+14
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 5112: Update Chalk to released version r=flodiebold a=flodiebold Co-authored-by: Florian Diebold <[email protected]>
| * | Update Chalk to released versionFlorian Diebold2020-06-282-10/+14
|/ /
* | Merge #5108bors[bot]2020-06-281-1/+2
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5108: Don't show ra_fixture param hints r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | Don't show ra_fixture param hintsAleksey Kladov2020-06-281-1/+2
|/ /
* | Merge #5104bors[bot]2020-06-281-13/+1
|\ \ | |/ |/| | | | | | | | | | | 5104: Simplify r=matklad a=Veetaha Co-authored-by: Veetaha <[email protected]>
| * SimplifyVeetaha2020-06-271-13/+1
|/
* Merge #5102bors[bot]2020-06-272-0/+36
|\ | | | | | | | | | | | | | | 5102: Add support for include_bytes! r=edwin0cheng a=lnicola Co-authored-by: LaurenČ›iu Nicola <[email protected]>
| * Add support for include_bytesLaurențiu Nicola2020-06-272-0/+36
|/
* Merge #5100bors[bot]2020-06-273-19/+60
|\ | | | | | | | | | | | | | | 5100: Add support for include_str r=edwin0cheng a=lnicola r? @edwin0cheng Co-authored-by: LaurenČ›iu Nicola <[email protected]>
| * Add support for include_strLaurențiu Nicola2020-06-273-19/+60
| |
* | Merge #4587bors[bot]2020-06-2713-13/+328
|\ \ | | | | | | | | | | | | | | | | | | | | | 4587: Add "missing unsafe" diagnostics r=Nashenas88 a=Nashenas88 Addresses #190 Co-authored-by: Paul Daniel Faria <[email protected]>
| * | Remove html from gitignore so highlight snapshots are not ignoredPaul Daniel Faria2020-06-271-1/+0
| | |
| * | Simplify unsafe expr collection matchPaul Daniel Faria2020-06-271-4/+3
| | |
| * | Improve perf of finding unsafe exprsPaul Daniel Faria2020-06-271-49/+39
| | |
| * | Remove unneeded code, filename from tests, fix rebasing issuesPaul Daniel Faria2020-06-2712-34/+85
| | |
| * | Cleanup changes leftover from previous tracking attemptPaul Daniel Faria2020-06-271-14/+16
| | |
| * | Revert ide highlighting changes (addressing on another branch)Paul Daniel Faria2020-06-2710-104/+10
| | |
| * | Remove track_parent and parent_map, replace with simple walk in missign ↵Paul Daniel Faria2020-06-273-291/+121
| | | | | | | | | | | | unsafe validator
| * | Fix issues caused during rebasePaul Daniel Faria2020-06-271-45/+63
| | |
| * | unsafe: Clean up, improve tracking, add debug_assertPaul Daniel Faria2020-06-274-153/+232
| | | | | | | | | | | | | | | | | | Move unsafe_expressions to unsafe_validation.rs, replace vec tracking of child exprs with inline macro, add debug assert to ensure tracked children match walked children exactly
| * | Add HighlightTag::Operator, use it for unsafe deref. Move unsafe validation ↵Paul Daniel Faria2020-06-2711-58/+81
| | | | | | | | | | | | to its own file
| * | Account for deref token in syntax highlighting of unsafe, add test for that casePaul Daniel Faria2020-06-271-0/+1
| | |
| * | Track expr parents during lowering, use parent map when checking if unsafe ↵Paul Daniel Faria2020-06-274-100/+177
| | | | | | | | | | | | exprs are within unsafe blocks
| * | Address review comments, have MissingUnsafe diagnostic point to each unsafe ↵Paul Daniel Faria2020-06-273-25/+19
| | | | | | | | | | | | use, update tests
| * | Rename Expr::UnsafeBlock to Expr::UnsafePaul Daniel Faria2020-06-274-5/+5
| | |
| * | Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe ↵Paul Daniel Faria2020-06-277-19/+82
| | | | | | | | | | | | exprs within unsafe block
| * | Add missing self param to testPaul Daniel Faria2020-06-271-1/+1
| | |
| * | Fix typo in testPaul Daniel Faria2020-06-271-1/+1
| | |
| * | Remove UnnecessaryUnsafe diagnostic, Fix Expr::Call unsafe analysisPaul Daniel Faria2020-06-274-70/+22
| | |
| * | Add tests covering unsafe blocks, more attempts to get call expr tests passingPaul Daniel Faria2020-06-272-1/+86
| | |
| * | Move diagnostics back into expr, add tests for diagnostics, fix logic to ↵Paul Daniel Faria2020-06-277-73/+158
| | | | | | | | | | | | account for derefs of raw ptrs
| * | Add unsafe diagnostics and unsafe highlightingPaul Daniel Faria2020-06-275-2/+163
|/ /
* | Merge #5099bors[bot]2020-06-271-1/+1
|\ \ | |/ |/| | | | | | | | | | | 5099: Escape space in path for MacOS binary location r=matklad a=LeSeulArtichaut This makes it possible and easier to copy paste the path to the binary server, without needing to add quotes. Co-authored-by: LeSeulArtichaut <[email protected]>
| * Escape space in path for MacOS binary locationLeSeulArtichaut2020-06-271-1/+1
|/
* Merge #5090bors[bot]2020-06-274-54/+62
|\ | | | | | | | | | | | | | | 5090: Bump deps r=matklad a=lnicola Co-authored-by: LaurenČ›iu Nicola <[email protected]>