about summary refs log tree commit diff
path: root/src/test/ui
AgeCommit message (Collapse)AuthorLines
2020-03-07Rollup merge of #67741 - estebank:point-at-pat-def, r=CentrilMazdak Farrokhzad-4/+68
When encountering an Item in a pat context, point at the item def ``` error[E0308]: mismatched types --> $DIR/const-in-struct-pat.rs:8:17 | LL | struct foo; | ----------- `foo` defined here ... LL | let Thing { foo } = t; | ^^^ expected struct `std::string::String`, found struct `foo` | = note: `foo` is interpreted as a unit struct, not a new binding help: you can bind the struct field to a different name | LL | let Thing { foo: other_foo } = t; | ^^^^^^^^^^^^^^ ``` ``` error[E0308]: mismatched types --> $DIR/const.rs:14:9 | LL | const FOO: Foo = Foo{bar: 5}; | ----------------------------- constant defined here ... LL | FOO => {}, | ^^^ | | | expected `&Foo`, found struct `Foo` | `FOO` is interpreted as a constant, not a new binding | help: use different name to introduce a new binding: `other_foo` ``` Fix #55631, fix #48062, cc #42876.
2020-03-06When encountering an Item in a pat context, point at the item defEsteban Küber-4/+68
2020-03-06Auto merge of #69753 - pnkfelix:issue-69191-ice-on-uninhabited-enum-field, r=olibors-0/+91
Do not ICE when matching an uninhabited enum's field Fix #69191
2020-03-06Added oli's multivariant test case (alpha renaming the enum name itself).Felix S. Klock II-3/+63
(And added Ralf's suggested test.) Added my own three-variant multi-variant as well.
2020-03-06Auto merge of #69614 - estebank:ice-age, r=davidtwcobors-0/+41
`delay_span_bug` when codegen cannot select obligation Fix #69602, introduced in #60126 by letting the compiler continue past type checking after encountering errors.
2020-03-05Fix #69191Felix S. Klock II-0/+31
2020-03-05Bumped version number for const_eval_limit in active.rsChristoph Schmidler-14/+38
and renamed 'recursion_limit' in limits.rs to simple 'limit' because it does handle other limits too.
2020-03-05Opt out of CTFE if the 'const_eval_limit' is set to 0Christoph Schmidler-1/+9
2020-03-05Add a new test to reach const_limit setting, although with wrong WARNINGs yetChristoph Schmidler-20/+35
rename feature to const_eval_limit
2020-03-05Disable CTFE if const_limit was set to 0, otherwise use the value set, which ↵Christoph Schmidler-1/+33
defaults to 1_000_000
2020-03-05Prepare const_limit feature gate and attributeChristoph Schmidler-0/+24
2020-03-03Auto merge of #69678 - Dylan-DPC:rollup-yoaueud, r=Dylan-DPCbors-0/+27
Rollup of 6 pull requests Successful merges: - #69565 (miri engine: turn some debug_assert into assert) - #69621 (use question mark operator in a few places.) - #69650 (cleanup more iterator usages (and other things)) - #69653 (use conditions directly) - #69665 (Invoke OptimizerLastEPCallbacks in PreLinkThinLTO) - #69670 (Add explanation for E0379) Failed merges: r? @ghost
2020-03-03Rollup merge of #69665 - tmiasko:new-pass-manager-thin-lto-opt, r=nikicDylan DPC-0/+27
Invoke OptimizerLastEPCallbacks in PreLinkThinLTO The default ThinLTO pre-link pipeline does not include optimizer last extension points. Thus, when using the new LLVM pass manager & ThinLTO & sanitizers on any opt-level different from zero, the sanitizer function passes would be omitted from the pipeline. Add optimizer last extensions points manually to the pipeline, but guard registration with stage check in the case this behaviour changes in the future.
2020-03-03Auto merge of #69506 - Centril:stmt-semi-none, r=petrochenkovbors-22/+14
encode `;` stmt without expr as `StmtKind::Empty` Instead of encoding `;` statements without a an expression as a tuple in AST, encode it as `ast::StmtKind::Empty`. r? @petrochenkov
2020-03-03Rollup merge of #69620 - thekuom:doc/61137-add-long-error-code-e0719, ↵Yuki Okushi-0/+2
r=davidtwco doc(librustc_error_codes): add long error explanation for E0719 Reference issue #61137 - Updated error_codes.rs - Added E0719.md in error_codes - Updated necessary test .stderr files
2020-03-03Rollup merge of #69609 - TimDiekmann:excess, r=AmanieuYuki Okushi-17/+17
Remove `usable_size` APIs This removes the usable size APIs: - remove `usable_size` (obv) - change return type of allocating methods to include the allocated size - remove `_excess` API r? @Amanieu closes rust-lang/wg-allocators#17
2020-03-03Add test for -Znew-llvm-pass-manager -Clto=thin -Zsanitizer=...Tomasz Miąsko-0/+27
Additionally verify that the current implementation of LLVM version check (which uses lexicographic ordering) is good enough to exclude versions before LLVM 9, where the new LLVM pass manager is unsupported.
2020-03-02Remove chalk integrationCAD97-505/+0
2020-03-03Remove `usable_size` APIsTim Diekmann-17/+17
2020-03-02Auto merge of #69635 - Dylan-DPC:rollup-2oh8uu5, r=Dylan-DPCbors-0/+70
Rollup of 6 pull requests Successful merges: - #68682 (Add documentation to compiler intrinsics) - #69544 (Unrevert "Remove `checked_add` in `Layout::repeat`") - #69617 (constify mem::forget) - #69622 (Rename `syntax` in librustc_ast/README.md) - #69623 (stash API: remove panic to fix ICE.) - #69624 (Toolstate: Don't block beta week on already broken tools.) Failed merges: - #69626 (Toolstate: don't duplicate nightly tool list.) r? @ghost
2020-03-02Rollup merge of #69623 - Centril:fix-69396-tmp, r=petrochenkovDylan DPC-0/+70
stash API: remove panic to fix ICE. Implements the temporary solution suggested in https://github.com/rust-lang/rust/pull/69537#issuecomment-593143975. Fixes https://github.com/rust-lang/rust/issues/69396. r? @petrochenkov
2020-03-02Auto merge of #69257 - RalfJung:layout-visitor, r=eddybbors-28/+28
Adjust Miri value visitor, and doc-comment layout components I realized that I still didn't have quite the right intuition for how our `LayoutDetails` work, so I had to adjust the Miri value visitor to the things I understood better now. I also added some doc-comments to `LayoutDetails` as a hopefully canonical place to note such things. The main visitor change is that we *first* look at all the fields (according to `FieldPlacement`), and *then* check the variants and handle `Multiple` appropriately. I did not quite realize how orthogonal "fields" and "variants" are. I also moved the check for the scalar ABI to *after* checking all the fields; this leads to better (more type-driven) error messages. And it looks like we can finally remove that magic hack for `ty::Generator`. :D r? @oli-obk for the Miri/visitor changes and @eddyb for the layout docs The Miri PR is at: https://github.com/rust-lang/miri/pull/1178
2020-03-02stash API: remove panic to fix ICE.Mazdak Farrokhzad-0/+70
2020-03-01encode `;` stmt w/o expr as `StmtKind::Empty`Mazdak Farrokhzad-22/+14
2020-03-01Fix use of `has_infer_types`Matthew Jasper-14/+14
* Add a new method `has_infer_types_or_consts` that's used instead most of the time, since there's generally no reason to only consider types. * Remove use of `has_closure_types`, because closures are no longer implicitly linked to the `InferCtxt`.
2020-03-01doc(librustc_error_codes): add long error explanation for E0719Matthew Kuo-0/+2
Progresses #61137
2020-03-01`delay_span_bug` when codegen cannot select obligationEsteban Küber-0/+41
Fix #69602, introduced in #60126 by letting the compiler continue past type checking after encountering errors.
2020-03-01Rollup merge of #69605 - JohnTitor:opt-def-id, r=petrochenkovYuki Okushi-6/+8
Use `opt_def_id()` over `def_id()` Fixes #69588
2020-03-01Rollup merge of #69583 - LeSeulArtichaut:ice-69378, r=CentrilYuki Okushi-0/+17
Do not ICE on invalid type node after parse recovery Closes #69378. r? @estebank
2020-03-01Use `opt_def_id()` over `def_id()`Yuki Okushi-6/+8
2020-02-29Rename `syntax` to `rustc_ast` in source codeVadim Petrochenkov-2/+2
2020-02-29Make it build againVadim Petrochenkov-2/+2
2020-02-29Auto merge of #69260 - GuillaumeGomez:create-E0747-error-code, r=varkor,estebankbors-3/+6
Create E0747 error code for unterminated raw strings Reopening of #66035. r? @estebank
2020-02-29Add regression testLeSeulArtichaut-0/+17
2020-02-29Auto merge of #69255 - estebank:e0599-details, r=varkorbors-108/+328
Add more context to E0599 errors Point at the intermediary unfulfilled trait bounds. Fix #52523, fix #61661, cc #36513, fix #68131, fix #64417, fix #61768, cc #57457, cc #9082, fix #57994, cc #64934, cc #65149.
2020-02-28Ignore output for some platforms with diverging test outputEsteban Küber-6/+18
Get around #53081.
2020-02-28Do not suggest implementing traits if present in predicatesEsteban Küber-9/+2
2020-02-28Reword messageEsteban Küber-2/+2
2020-02-28Reduce verbosity when suggesting restricting type paramsEsteban Küber-12/+0
2020-02-28keep predicate order and tweak outputEsteban Küber-74/+118
2020-02-28Review comments: split requirement text to multiple lines for readabilityEsteban Küber-16/+32
2020-02-28Account for arbitrary self types in E0599Esteban Küber-17/+9
2020-02-28Suggest constraining type parametersEsteban Küber-0/+75
2020-02-28Tweak wordingEsteban Küber-24/+24
2020-02-28Mention the full path of the implementing traitEsteban Küber-24/+24
2020-02-28Point at closure definitionsEsteban Küber-5/+8
2020-02-28Show information of chain of bound obligationsEsteban Küber-15/+39
When the obligation that couldn't be fulfilled is specific to a nested obligation, maintain both the nested and parent obligations around for more accurate and detailed error reporting.
2020-02-28Track all predicates in errors, not just trait obligationsEsteban Küber-11/+39
Surface associated type projection bounds that could not be fulfilled in E0599 errors. Always present the list of unfulfilled trait bounds, regardless of whether we're pointing at the ADT or trait that didn't satisfy it.
2020-02-28Deduplicate information in E0599Esteban Küber-30/+10
2020-02-28On single local candidate, use span labelEsteban Küber-49/+72
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 04:27:28 +0000