summary refs log tree commit diff
path: root/src/test/compile-fail/borrowck
AgeCommit message (Collapse)AuthorLines
2017-10-04Unit tests for gathering and reporting move-errors from mir-borrowck.Felix S. Klock II-13/+60
This commit tests *just* the subset of the tests that were previously ICE'ing and where now AST- and MIR-borrowck both match in terms of the errors they report. In other words: there remain *other* tests that previously ICE'd, and now no longer ICE, but their remains a divergence between the errors reported by AST-borrowck and by MIR-borrowck.
2017-09-29mir-borrowck: Factorize error message for `cannot_assign_static()` between ↵Basile Desloges-4/+18
AST and MIR borrowck
2017-09-29Auto merge of #44811 - zilbuz:issue-44596/E0506, r=arielb1bors-28/+108
MIR-borrowck: Adding notes to E0506 This PR adds notes to the MIR borrowck error E0506. Part of #44596
2017-09-26Add span label to E0384 for MIR borrowckKeith Yeung-5/+18
2017-09-26mir-borrowck: Edit compile-fail tests with E0506 error to also test on MIR ↵Basile Desloges-28/+108
borrowck
2017-09-24move unsafety checking to MIRAriel Ben-Yehuda-2/+2
No functional changes intended.
2017-08-16Stabilize rvalue promotion to 'static.Eduard-Mihai Burtescu-1/+3
2017-05-27Stabilize unions with `Copy` fields and no destructorVadim Petrochenkov-8/+0
2017-04-28Disable ref hint for pattern in let and adding ui-tests.gaurikholkar-3/+0
2017-04-25Point at variable moved by closureEsteban Küber-22/+0
2017-04-11fix a bug in compiletest JSON parsing for duplicate errorsNiko Matsakis-2/+0
In some cases, we give multiple primary spans, in which case we would report one `//~` annotation per primary span. That was very confusing because these things are reported to the user as a single error. UI tests would be better here.
2017-03-27borrowck: consolidate `mut` suggestionsAriel Ben-Yehuda-5/+1
This converts all of borrowck's `mut` suggestions to a new `mc::ImmutabilityBlame` API instead of the current mix of various hacks. Fixes #35937. Fixes #40823.
2017-02-28remove special-case code for statics and just use `borrowck_fn`Niko Matsakis-0/+28
Fixes #38520
2017-01-31Removes FIXMEs related to #22405Wesley Wiser-1/+0
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-6/+6
2016-11-29add hint to fix error for immutable ref in argMikhail Modin-381/+0
2016-11-28rustc: rework stability to be on-demand for type-directed lookup.Eduard Burtescu-3/+3
2016-11-01Improve "Doesn't live long enough" errorMikhail Modin-20/+0
case with different lifetime with spans
2016-10-31Changed most vec! invocations to use square bracesiirelu-20/+20
Most of the Rust community agrees that the vec! macro is clearer when called using square brackets [] instead of regular brackets (). Most of these ocurrences are from before macros allowed using different types of brackets. There is one left unchanged in a pretty-print test, as the pretty printer still wants it to have regular brackets.
2016-10-20improve "Doesn't live long enough" errorMikhail Modin-61/+0
2016-10-18Fix some pretty printing testsVadim Petrochenkov-2/+0
2016-09-16fix test falloutAriel Ben-Yehuda-2/+2
2016-09-10Improve shallow `Clone` derivingVadim Petrochenkov-10/+2
2016-09-03Address comments and add requested testsVadim Petrochenkov-0/+309
2016-08-31Update error message for lifetime of borrowed valuesJonathan Turner-34/+12
2016-08-20Update E0503 to the new formatWesley Wiser-0/+2
Fixes #35703 Part of #35233
2016-08-17Move 'doesn't live long enough' errors to labelsJonathan Turner-14/+15
2016-08-05Update error format for E0373trixnz-0/+4
2016-07-31Don't gate methods `Fn(Mut,Once)::call(mut,once)` with feature ↵Vadim Petrochenkov-4/+0
`unboxed_closures` They are already gated with feature `fn_traits`
2016-06-09implement RFC495 semantics for slice patternsAriel Ben-Yehuda-17/+18
non-MIR translation is still not supported for these and will happily ICE. This is a [breaking-change] for many uses of slice_patterns.
2016-05-25refactor autoderef to avoid registering obligationsAriel Ben-Yehuda-1/+1
Refactor `FnCtxt::autoderef` to use an external iterator and to not register any obligation from the main autoderef loop, but rather to register them after (and if) the loop successfully completes. Fixes #24819 Fixes #25801 Fixes #27631 Fixes #31258 Fixes #31964 Fixes #32320 Fixes #33515 Fixes #33755
2016-05-20Rollup merge of #33676 - rkruppe:e0509-exact-words, r=sanxiynGuillaume Gomez-9/+11
Reword the short diagnostic for E0509 Saying that a type *implements* a trait is much more idiomatic than saying it *defines* the trait.
2016-05-19Rollup merge of #33712 - jseyfried:fix_expanded_expr_span_bug, r=nrcManish Goregaokar-1/+2
Fix bug in macro expression spans Fix a bug in macro expression spans. r? @nrc
2016-05-19Reword the short diagnostic for E0509Robin Kruppe-9/+11
Saying that a type *implements* a trait is much more idiomatic than saying it *defines* the trait.
2016-05-18Fix bug in macro expression spansJeffrey Seyfried-1/+2
2016-05-17Improve a few errors and fix #33366Jonathan Turner-22/+22
2016-05-12Update errors to use new error formatJonathan Turner-16/+42
2016-05-02update test cases to reflect new messagesNiko Matsakis-23/+44
2016-03-16Stop ignoring expected note/help messages in compiletest suite.Corey Farwell-0/+25
Original issue: https://github.com/rust-lang/rust/issues/21195 Relevant PR: https://github.com/rust-lang/rust/pull/30778 Prior to this commit, if a compiletest testcase included the text "HELP:" or "NOTE:" (note the colons), then it would indicate to the compiletest suite that we should verify "help" and "note" expected messages. This commit updates this check to also check "HELP" and "NOTE" (not the absense of colons) so that we always verify "help" and "note" expected messages.
2016-02-24Move the borrowck run-pass/compile-fail tests into their own directoriesNiko Matsakis-0/+5577
as a test.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 22:22:11 +0000