about summary refs log tree commit diff
path: root/src/test/ui/borrowck
AgeCommit message (Collapse)AuthorLines
2019-07-22Bless output of test borrowck/borrowck-escaping-closure-error-2.rs for Poloniuslqd-0/+16
2019-07-22Ignore two-phase-reservation-sharing-interference-2.rs in Polonius compare modelqd-12/+13
This is just a difference from the test construction, it's ignore-compare-mode-nll and manually checks migrate/nll over edition2015/2018. This failure is because the `migrate2015` and `migrate2018` revisions are ran with `-Zpolonius`. There is no actual difference in the errors output by NLLs and Polonius.
2019-07-22Ignore test issue-45983 in the polonius compare modelqd-3/+4
There is no difference between the NLL and Polonius outputs, and it manually tests NLLs.
2019-07-22Ignore NLL migrate mode test in the Polonius compare-modelqd-2/+3
This is test specific to the NLL migrate mode which is irrelevant to -Z polonius. It can't currently be encoded depending on migrate-mode and NLL/Polonius mode, so the NLL compare-mode also ignores it.
2019-07-17normalize use of backticks in compiler messages for librustc/lintSamy Kacimi-3/+3
https://github.com/rust-lang/rust/issues/60532
2019-07-13Auto merge of #62468 - rust-lang:mutable-overloaded-operators, r=estebankbors-73/+95
Improve diagnostics for invalid mutation through overloaded operators Closes #58864 Closes #52941 Closes #57839
2019-07-10Rollup merge of #62465 - matthewjasper:never-type-storage, r=pnkfelixMazdak Farrokhzad-0/+14
Sometimes generate storage statements for temporaries with type `!` Closes #62165 cc #42371
2019-07-09Auto merge of #62233 - matthewjasper:exit-arm-scopes, r=pnkfelixbors-0/+21
Exit arm scopes Due to a bug in the HIR CFG construction, borrows for arm scopes were incorrectly leaking into other arms. This PR also includes some drive-by improvements to `-Zunpretty=hir,identified` that would have been helpful while investigating this. Closes #62107
2019-07-07Add help message for mutation though overloaded place operatorsMatthew Jasper-73/+95
2019-07-07Only omit StorageLive/Dead for variable that are never initializedMatthew Jasper-0/+14
With `feature(never_type)`, it's not guaranteed that any variable with type `!` isn't ever assigned to.
2019-07-06Exit arm scopes correctly in the HIR CFGMatthew Jasper-0/+21
When a match evaluates to false we jump to the next arm, when we do so we need to make sure that we exit the scope for that arm.
2019-07-06normalize use of backticks/lowercase in compiler messages for librustc_mirSamy Kacimi-2/+2
https://github.com/rust-lang/rust/issues/60532 r? @alexreg
2019-07-06Make WhileTrue into an EarlyLintPass lint.Mazdak Farrokhzad-1/+9
2019-07-03Migrate compile-pass annotations to build-passYuki Okushi-1/+1
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