about summary refs log tree commit diff
path: root/src/test/ui/borrowck
AgeCommit message (Collapse)AuthorLines
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..``.
2018-12-25Remove licensesMark Rousskov-3165/+1260
2018-12-25Auto merge of #57088 - euclio:non-camel-case-early-lint, r=estebankbors-59/+56
make non_camel_case_types an early lint This allows us to catch these kinds of style violations much earlier, as evidenced by the large number of tests that had to be updated for this change.
2018-12-25Auto merge of #56962 - nivkner:fixme_fixup4, r=pnkfelixbors-10/+9
address some FIXME whose associated issues were marked as closed part of #44366
2018-12-24make non_camel_case_types an early lintAndy Russell-59/+56
2018-12-23bless ui tests in compare modeNiv Kaminer-3/+3
2018-12-22Update migrate warning wording.David Wood-15/+10
This commit modifies the wording of the warning for backwards-incompatible changes in migrate mode. The warning messages are changed to be lowercase and not include line-breaks in order to be consistent with other compiler diagnostics.
2018-12-19FIXME(21232) update fixme to point to the open issue about accepting partial ↵Niv Kaminer-1/+1
initialization
2018-12-19FIXME(49824) remove fixme because there is no free region error anymoreNiv Kaminer-6/+5
2018-12-13Make determining the discriminant a normal Shallow readMatthew Jasper-2/+31
Enum layout optimizations mean that the discriminant of an enum may not be stored in a tag disjoint from the rest of the fields of the enum. Stop borrow checking as though they are.
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-1/+1
2018-12-05Rollup merge of #56372 - wildarch:issue-55314-second-borrow-ref, r=davidtwcoPietro Albini-1/+1
Refer to the second borrow as the "second borrow" in E0501.rs Fixes #55314. r? @davidtwco
2018-12-04Update testsOliver Scherer-25/+52