| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-03-28 | Also use the RPIT back compat hack in trait projection | Oli Scherer | -35/+5 | |
| 2022-03-28 | Show that the behaviour is the same for RPIT and TAIT | Oli Scherer | -0/+230 | |
| 2022-03-28 | Add a test showing that a similar example compiles | Oli Scherer | -0/+20 | |
| 2022-03-28 | Fix mixing lazy TAIT and RPIT in their defining scopes | Oli Scherer | -0/+28 | |
| 2022-03-28 | Add regression test | Oli Scherer | -0/+60 | |
| 2022-03-28 | Add another regression test | Oli Scherer | -0/+27 | |
| 2022-03-28 | Test that TAIT and RPIT are in sync | Oli Scherer | -2/+31 | |
| 2022-03-28 | Add some tests around recursion and "revealing" | Oli Scherer | -0/+152 | |
| 2022-03-28 | Remove some special code handling TAIT being passed through if and match | Oli Scherer | -2/+65 | |
| This is not necessary for RPIT anymore, since we reverted that to using inference vars. | ||||
| 2022-03-28 | Add regression tests | Oli Scherer | -0/+494 | |
| 2022-03-28 | Remove opaque type obligation and just register opaque types as they are ↵ | Oli Scherer | -110/+188 | |
| encountered. This also registers obligations for the hidden type immediately. | ||||
| 2022-03-28 | Revert to inference variable based hidden type computation for RPIT | Oli Scherer | -263/+573 | |
| 2022-03-28 | Special case the situation where the previous span is the same as the new one | Oli Scherer | -24/+12 | |
| 2022-03-28 | Have the spans of TAIT type conflict errors point to the actual site instead ↵ | Oli Scherer | -95/+95 | |
| of the owning function | ||||
| 2022-03-28 | Normalize all projections in mir validation again | Oli Scherer | -0/+29 | |
| 2022-03-28 | Don't bind hidden types when searching for matching impls | Oli Scherer | -39/+73 | |
| 2022-03-28 | Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk" | Oli Scherer | -1622/+2306 | |
| This reverts commit 6499c5e7fc173a3f55b7a3bd1e6a50e9edef782d, reversing changes made to 78450d2d602b06d9b94349aaf8cece1a4acaf3a8. | ||||
| 2022-03-28 | Rollup merge of #95401 - c410-f3r:moar-tests, r=petrochenkov | Dylan DPC | -201/+0 | |
| Remove duplicated and unused test files cc https://github.com/rust-lang/rust/issues/73494 r? `@petrochenkov` | ||||
| 2022-03-28 | Rollup merge of #95390 - nnethercote:allow-doc-comments-in-macros, ↵ | Dylan DPC | -0/+13 | |
| r=petrochenkov Ignore doc comments in a declarative macro matcher. Fixes #95267. Reverts to the old behaviour before #95159 introduced a regression. r? `@petrochenkov` | ||||
| 2022-03-28 | Rollup merge of #95350 - petrochenkov:qpathregr, r=cjgillot | Dylan DPC | -2/+24 | |
| resolve: Simplify some diagnostic code to avoid an ICE No need to resolve those paths, they are already resolved, we just need to take the results from `partial_res_map`. Fixes https://github.com/rust-lang/rust/issues/95327 | ||||
| 2022-03-28 | Rollup merge of #95314 - c410-f3r:aqui-vamos-nos, r=lcnr | Dylan DPC | -11/+11 | |
| Tell users that `||` operators are not currently supported in let chain expressions Tells that `||` operators are not currently supported instead of not allowed. See https://github.com/rust-lang/rust/issues/53667#issuecomment-1066075876 In other words, this PR is pretty much trivial. | ||||
| 2022-03-28 | Remove duplicated and unused test files | Caio | -201/+0 | |
| 2022-03-28 | Auto merge of #95396 - ↵ | bors | -0/+122 | |
| TaKO8Ki:suggest-replacing-field-when-using-the-same-type, r=compiler-errors Suggest replacing a field when using the same type closes #89166 | ||||
| 2022-03-28 | use `can_coerce` instead of `same_type_modulo_infer` | Takayuki Maeda | -1/+4 | |
| 2022-03-28 | suggest replacing field when using the same type | Takayuki Maeda | -4/+123 | |
| 2022-03-28 | Ignore doc comments in a declarative macro matcher. | Nicholas Nethercote | -0/+13 | |
| Fixes #95267. Reverts to the old behaviour before #95159 introduced a regression. | ||||
| 2022-03-27 | suggest wrapping in struct tuples as well | Michael Goulet | -3/+25 | |
| 2022-03-27 | do not suggest enum tuple variant for named field variant | Michael Goulet | -1/+24 | |
| 2022-03-27 | suggest wrapping patterns with compatible enum variants | Michael Goulet | -0/+125 | |
| 2022-03-27 | Auto merge of #95382 - Dylan-DPC:rollup-bebyfd1, r=Dylan-DPC | bors | -65/+59 | |
| Rollup of 5 pull requests Successful merges: - #94939 (diagnostics: suggest missing comma in bad FRU syntax) - #95120 (Implement `apply_switch_int_edge_effects` for backward analyses) - #95364 (Add long error explanation for E0667) - #95366 (Remove test files with duplicated checksums) - #95368 (Fix typo in `String::try_reserve_exact` docs) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup | ||||
| 2022-03-27 | Fix from rebase | Noah Lev | -19/+27 | |
| I changed the test functions to be `pub` rather than called from a `main` function too, for easier future modification of tests. | ||||
| 2022-03-27 | Rollup merge of #95366 - c410-f3r:moar-tests, r=petrochenkov | Dylan DPC | -64/+0 | |
| Remove test files with duplicated checksums cc https://github.com/rust-lang/rust/issues/73494 r? `@petrochenkov` | ||||
| 2022-03-27 | Rollup merge of #95364 - GuillaumeGomez:long-error-explanation-e0667, ↵ | Dylan DPC | -1/+3 | |
| r=Dylan-DPC Add long error explanation for E0667 Part of #61137. | ||||
| 2022-03-27 | Rollup merge of #94939 - notriddle:notriddle/fru-comma-suggestion, r=cjgillot | Dylan DPC | -0/+56 | |
| diagnostics: suggest missing comma in bad FRU syntax Fixes #51103 | ||||
| 2022-03-27 | fix other source of box deref | DrMeepster | -0/+12 | |
| 2022-03-27 | Auto merge of #94495 - estebank:missing-closing-gt, r=jackh726 | bors | -13/+174 | |
| Provide suggestion for missing `>` in a type parameter list When encountering an inproperly terminated type parameter list, provide a suggestion to close it after the last non-constraint type parameter that was successfully parsed. Fix #94058. | ||||
| 2022-03-27 | assert_uninit_valid: ensure we detect at least arrays of uninhabited types | Ralf Jung | -0/+28 | |
| 2022-03-27 | Update ui test output | Guillaume Gomez | -1/+3 | |
| 2022-03-27 | diagnostics: suggest missing comma in bad FRU syntax | Michael Howell | -0/+56 | |
| Fixes #51103 | ||||
| 2022-03-27 | Remove duplicated test files | Caio | -64/+0 | |
| 2022-03-27 | Debug print char 0 as '\0' rather than '\u{0}' | David Tolnay | -3/+3 | |
| 2022-03-27 | Auto merge of #93957 - SaltyKitkat:stablize_const_ptr_offset, r=dtolnay | bors | -49/+43 | |
| Stabilize const_ptr_offset Close #71499 | ||||
| 2022-03-27 | Handle `,` to `;` substitution in arg params | Esteban Kuber | -7/+19 | |
| 2022-03-26 | Do not use ParamEnv::and to cache param-env with candidate | Michael Goulet | -1/+2 | |
| 2022-03-27 | Rollup merge of #93469 - compiler-errors:issue-93450, r=estebank | Dylan DPC | -43/+17 | |
| Skip pointing out ambiguous impls in alloc/std crates too in inference errors This generalizes the logic in `annotate_source_of_ambiguity` to skip printing ambiguity errors traits in `alloc` and `std` as well, not just `core`. While this does spot-fix the issue mentioned below, it would be nicer to generalize this logic, for example to detect when the trait predicate's `self_ty` has any numerical inference variables. Is it worthwhile to scrap this solution for one like that? Fixes #93450 r? `@estebank` feel free to reassign | ||||
| 2022-03-27 | Rollup merge of #91981 - estebank:tweakaroo, r=lcnr | Dylan DPC | -56/+158 | |
| Recover suggestions and useful information lost in previous PR Follow up to #91898. | ||||
| 2022-03-27 | Provide suggestion for missing `>` in a type parameter list | Esteban Kuber | -9/+158 | |
| When encountering an inproperly terminated type parameter list, provide a suggestion to close it after the last non-constraint type parameter that was successfully parsed. Fix #94058. | ||||
| 2022-03-27 | Change wording of missing return type suggestion | Esteban Kuber | -14/+19 | |
| 2022-03-27 | Point (again) to more expressions with their type, even if not fully resolved | Esteban Kuber | -30/+123 | |
| 2022-03-27 | Eagerly replace `{integer}`/`{float}` with `i32`/`f64` for suggestion | Esteban Kuber | -12/+16 | |
