about summary refs log tree commit diff
path: root/src/test/ui
AgeCommit message (Collapse)AuthorLines
2022-03-28Also use the RPIT back compat hack in trait projectionOli Scherer-35/+5
2022-03-28Show that the behaviour is the same for RPIT and TAITOli Scherer-0/+230
2022-03-28Add a test showing that a similar example compilesOli Scherer-0/+20
2022-03-28Fix mixing lazy TAIT and RPIT in their defining scopesOli Scherer-0/+28
2022-03-28Add regression testOli Scherer-0/+60
2022-03-28Add another regression testOli Scherer-0/+27
2022-03-28Test that TAIT and RPIT are in syncOli Scherer-2/+31
2022-03-28Add some tests around recursion and "revealing"Oli Scherer-0/+152
2022-03-28Remove some special code handling TAIT being passed through if and matchOli Scherer-2/+65
This is not necessary for RPIT anymore, since we reverted that to using inference vars.
2022-03-28Add regression testsOli Scherer-0/+494
2022-03-28Remove 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-28Revert to inference variable based hidden type computation for RPITOli Scherer-263/+573
2022-03-28Special case the situation where the previous span is the same as the new oneOli Scherer-24/+12
2022-03-28Have the spans of TAIT type conflict errors point to the actual site instead ↵Oli Scherer-95/+95
of the owning function
2022-03-28Normalize all projections in mir validation againOli Scherer-0/+29
2022-03-28Don't bind hidden types when searching for matching implsOli Scherer-39/+73
2022-03-28Revert "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-28Rollup merge of #95401 - c410-f3r:moar-tests, r=petrochenkovDylan DPC-201/+0
Remove duplicated and unused test files cc https://github.com/rust-lang/rust/issues/73494 r? `@petrochenkov`
2022-03-28Rollup 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-28Rollup merge of #95350 - petrochenkov:qpathregr, r=cjgillotDylan 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-28Rollup merge of #95314 - c410-f3r:aqui-vamos-nos, r=lcnrDylan 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-28Remove duplicated and unused test filesCaio-201/+0
2022-03-28Auto 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-28use `can_coerce` instead of `same_type_modulo_infer`Takayuki Maeda-1/+4
2022-03-28suggest replacing field when using the same typeTakayuki Maeda-4/+123
2022-03-28Ignore 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-27suggest wrapping in struct tuples as wellMichael Goulet-3/+25
2022-03-27do not suggest enum tuple variant for named field variantMichael Goulet-1/+24
2022-03-27suggest wrapping patterns with compatible enum variantsMichael Goulet-0/+125
2022-03-27Auto merge of #95382 - Dylan-DPC:rollup-bebyfd1, r=Dylan-DPCbors-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-27Fix from rebaseNoah 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-27Rollup merge of #95366 - c410-f3r:moar-tests, r=petrochenkovDylan DPC-64/+0
Remove test files with duplicated checksums cc https://github.com/rust-lang/rust/issues/73494 r? `@petrochenkov`
2022-03-27Rollup 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-27Rollup merge of #94939 - notriddle:notriddle/fru-comma-suggestion, r=cjgillotDylan DPC-0/+56
diagnostics: suggest missing comma in bad FRU syntax Fixes #51103
2022-03-27fix other source of box derefDrMeepster-0/+12
2022-03-27Auto merge of #94495 - estebank:missing-closing-gt, r=jackh726bors-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-27assert_uninit_valid: ensure we detect at least arrays of uninhabited typesRalf Jung-0/+28
2022-03-27Update ui test outputGuillaume Gomez-1/+3
2022-03-27diagnostics: suggest missing comma in bad FRU syntaxMichael Howell-0/+56
Fixes #51103
2022-03-27Remove duplicated test filesCaio-64/+0
2022-03-27Debug print char 0 as '\0' rather than '\u{0}'David Tolnay-3/+3
2022-03-27Auto merge of #93957 - SaltyKitkat:stablize_const_ptr_offset, r=dtolnaybors-49/+43
Stabilize const_ptr_offset Close #71499
2022-03-27Handle `,` to `;` substitution in arg paramsEsteban Kuber-7/+19
2022-03-26Do not use ParamEnv::and to cache param-env with candidateMichael Goulet-1/+2
2022-03-27Rollup merge of #93469 - compiler-errors:issue-93450, r=estebankDylan 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-27Rollup merge of #91981 - estebank:tweakaroo, r=lcnrDylan DPC-56/+158
Recover suggestions and useful information lost in previous PR Follow up to #91898.
2022-03-27Provide suggestion for missing `>` in a type parameter listEsteban 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-27Change wording of missing return type suggestionEsteban Kuber-14/+19
2022-03-27Point (again) to more expressions with their type, even if not fully resolvedEsteban Kuber-30/+123
2022-03-27Eagerly replace `{integer}`/`{float}` with `i32`/`f64` for suggestionEsteban Kuber-12/+16