summary refs log tree commit diff
path: root/src/test/ui/borrowck
AgeCommit message (Collapse)AuthorLines
2019-08-12Avoid ICE when referencing desugared local binding in borrow errorEsteban Küber-0/+45
2019-06-13Create fewer basic blocks in match MIR loweringMatthew Jasper-7/+7
2019-06-04Remove asterisk suggestion for move errors in borrowckKenny Goodin-5/+5
As per issue #54985 removes the not useful suggestion to remove asterisk in move errors. Includes minor changes to tests in the `ui` suite to account for the removed suggestion.
2019-06-03Update tests for changes to cannot move errorsMatthew Jasper-191/+145
2019-06-02Auto merge of #61460 - Centril:rollup-8txhjx4, r=Centrilbors-2/+2
Rollup of 6 pull requests Successful merges: - #61380 (Fix some issues with `unwrap_usize` instead of `assert_usize`) - #61423 (codegen: change `$6d$` to `$u6d$`) - #61438 (Point at individual type args on arg count mismatch) - #61441 (Tweak wording when encountering `fn` call in pattern) - #61451 (Fix missing semicolon in doc) - #61458 (Fix typo in AsRef doc) Failed merges: r? @ghost
2019-06-01rustc: collect upvars from HIR, instead of during name resolution.Eduard-Mihai Burtescu-1/+1
2019-05-31Make generics always have a valid spanEsteban Küber-2/+2
2019-05-29Update ui test suite to use dynmemoryruins-17/+17
2019-05-21Add FAQ for NLL migrationJethro Beekman-0/+7
2019-05-12Remove feature(nll) when compare mode is sufficientMatthew Jasper-33/+11
2019-05-12Change compare mode to use -Zborrowck=mirMatthew Jasper-0/+595
2019-05-03Update testsChristopher Vittal-169/+29
2019-04-23Rollup merge of #60169 - varkor:tidy-unnecessary-ignore-newline, r=kennytmMazdak Farrokhzad-6/+4
Warn when ignore-tidy-linelength is present, but no lines are too long It's easy for a `// ignore-tidy-linelength` to be added when there is a genuine need to ignore a file's line length, but then after refactoring the need is gone, but the tidy directive is not removed. This means that in the future, further editing may accidentally add unnecessarily long lines. This change forces `// ignore-tidy-linelength` to be used exactly when necessary, to make sure such changes are intentional.
2019-04-23Update ui testsvarkor-4/+4
2019-04-23Remove unnecessary ignore-tidy-linelengthvarkor-2/+0
2019-04-23Auto merge of #60125 - estebank:continue-evaluating, r=oli-obkbors-4/+33
Don't stop evaluating due to errors before borrow checking r? @oli-obk Fix #60005. Follow up to #59903. Blocked on #53708, fixing the ICE in `src/test/ui/consts/match_ice.rs`.
2019-04-22Never stop due to errors before borrow checkingEsteban Küber-4/+33
2019-04-22Remove double trailing newlinesvarkor-3/+0
2019-04-22update tests for migrate mode by defaultMatthew Jasper-9781/+2149
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-126/+91
2019-04-07Auto merge of #58739 - matthewjasper:more-restrictive-tpb, r=pnkfelixbors-33/+318
More restrictive 2 phase borrows - take 2 Signal lint diagnostic `mutable_borrow_reservation_conflict` when borrow-check finds a 2-phase borrow's reservation overlapping with a shared borrow. (pnkfelix updated description) cc #56254 , #59159 blocks PR #59114 r? @pnkfelix cc @RalfJung @nikomatsakis
2019-04-05Fix expectations on some ui test in nll compare mode.Charles Lew-5/+3
2019-04-05Fix expectations on some ui tests involving FnOnce.Masaki Hara-68/+38
2019-04-04Adjust the mutable_borrow_reservation_conflict messageMatthew Jasper-8/+8
We aren't sure if this will become an error or not yet.
2019-04-04unit test for the lint itself, illustrating that it can be controlled by ↵Felix S. Klock II-0/+83
`#[allow(..)]` etc.
2019-04-04update unit test output to reflect change to lint-based diagnostic.Felix S. Klock II-10/+12
2019-04-04Update tests for restrictive two-phase borrowsMatthew Jasper-1/+1
2019-04-04Treat two-phase borrow reservations as mutable accessesMatthew Jasper-33/+233
2019-03-17Removed obsolete .stderr test outputsMathias Blikstad-136/+0
2019-03-17Updated UI test output to remove test annotations for revisionsMathias Blikstad-393/+393
2019-03-12Add a test for #10876varkor-0/+19
2019-03-11Update NLL testsVadim Petrochenkov-360/+360
2019-03-11Update testsVadim Petrochenkov-413/+413
2019-03-10Make migrate mode work at item level granularityMatthew Jasper-0/+100
2019-02-23Rollup merge of #58199 - clintfred:partial-move-err-msg, r=estebankMazdak Farrokhzad-2/+2
Add better error message for partial move closes #56657 r? @davidtwco
2019-02-20./x.py test src/test/ui --stage 1 --bless -i --compare-mode=nllClint Frederickson-1/+1
2019-02-20Fix erroneous loop diagnostic in nllSantiago Pastorino-9/+9
This commit fixes the logic of detecting when a use happen in a later iteration of where a borrow was defined Fixes #53773
2019-02-18re-blessing error output: ./x.py test src/test/ui --stage 1 --blessClint Frederickson-18/+18
2019-02-06error output updated by ./x.py test --stage 1 src/test/ui --incremental --blessClint Frederickson-18/+18
2019-02-05[WIP] add better error message for partial moveClint Frederickson-1/+1
2019-01-26Replace deprecated ATOMIC_INIT constsMark Rousskov-1/+1
2019-01-24Fix --compare-mode=nll testsEsteban Küber-42/+66
2019-01-24review commentsEsteban Küber-4/+1
2019-01-24Point at type argument suggesting adding `Copy` constraintEsteban Küber-0/+2
2019-01-24When using value after move, point at span of localEsteban Küber-27/+35
When trying to use a value after move, instead of using a note, point at the local declaration that has a type that doesn't implement `Copy` trait.
2019-01-13Rollup merge of #57102 - davidtwco:issue-57100, r=nikomatsakisMazdak Farrokhzad-108/+89
NLL: Add union justifications to conflicting borrows. Fixes #57100. This PR adds justifications to error messages for conflicting borrows of union fields. Where previously an error message would say ``cannot borrow `u.b` as mutable..``, it now says ``cannot borrow `u` (via `u.b`) as mutable..``. r? @pnkfelix
2019-01-04Improve diagnostic labels and add note.David Wood-9/+15
This commit improves diagnostic labels to mention which field a borrow overlaps with and adds a note explaining that the fields overlap.
2018-12-29add non-copy note to stderrcsmoe-33/+30
2018-12-27retrieve ty info from place_tycsmoe-2/+2
describe index with _
2018-12-26Add union justifications to conflicting borrows.David Wood-101/+76
This commit adds justifications to error messages for conflicting borrows of union fields. Where previously an error message would say ``cannot borrow `u.b` as mutable..``, it now says ``cannot borrow `u` (via `u.b`) as mutable..``.