summary refs log tree commit diff
path: root/src/test/ui/nll
AgeCommit message (Collapse)AuthorLines
2018-04-27updated stderr files and removed feature-gate test for dyn_traitChristian Poveda-116/+116
2018-04-27removed dyn_trait feature from testsChristian Poveda-12/+0
2018-04-17Auto merge of #49836 - nikomatsakis:nll-facts-prep, r=pnkfelixbors-146/+146
prep work for using timely dataflow with NLL Two major changes: **Two-phase borrows are overhauled.** We no longer have two bits per borrow. Instead, we track -- for each borrow -- an (optional) "activation point". Then, for each point P where the borrow is in scope, we check where P falls relative to the activation point. If P is between the reservation point and the activation point, then this is the "reservation" phase of the borrow, else the borrow is considered active. This is simpler and means that the dataflow doesn't have to care about 2-phase at all, at last not yet. **We no longer support using the MIR borrow checker without NLL.** It is going to be increasingly untenable to support lexical mode as we go forward, I think, and also of increasingly little value. This also exposed a few bugs in NLL mode due to increased testing. r? @pnkfelix cc @bobtwinkles
2018-04-17Rollup merge of #49931 - csmoe:end_span, r=estebankkennytm-1/+1
Fix incorrect span in `&mut` suggestion Fixes #49859
2018-04-15remove -Znll -- borrowck=mir implies nll nowNiko Matsakis-146/+146
2018-04-14fix error spancsmoe-1/+1
2018-04-13Rename must-compile-successfully into compile-passGuillaume Gomez-12/+12
2018-04-11Auto merge of #49875 - kennytm:rollup, r=kennytmbors-0/+63
Rollup of 14 pull requests Successful merges: - #49525 (Use sort_by_cached_key where appropriate) - #49575 (Stabilize `Option::filter`.) - #49614 (in which the non-shorthand patterns lint keeps its own counsel in macros) - #49665 (Small nits to make couple of tests pass on mips targets.) - #49781 (add regression test for #16223 (NLL): use of collaterally moved value) - #49795 (Properly look for uninhabitedness of variants in niche-filling check) - #49809 (Stop emitting color codes on TERM=dumb) - #49856 (Do not uppercase-lint #[no_mangle] statics) - #49863 (fixed typo) - #49857 (Fix "fp" target feature for AArch64) - #49849 (Add --enable-debug flag to musl CI build script) - #49734 (proc_macro: Generalize `FromIterator` impl) - #49730 (Fix ICE with impl Trait) - #48270 (Replace `structurally_resolved_type` in casts check.) Failed merges:
2018-04-11Auto merge of #49861 - pnkfelix:compare-mode-nll-followup-2, r=nikomatsakisbors-0/+51
Blindly checkpoint status of NLL mode ui tests This takes the next (and potentially final?) step with #48879. Namely, this PR got things to the point where I can successfully run `compiletest` on `src/test/ui` with `--compile-mode=nll`. Here are the main pieces of it: 1. To figure out how to even run `compiletest` normally on the ui directory, I ran `x.py test -vv`, and then looked for the `compiletest` invocation that mentioned `src/test/ui`. 2. I took the aforementioned `compiletest` invocation and used it, adding `--compile-mode=nll` to the end. It had 170 failing cases. 3. Due to #49855, I had to edit some of the tests so that they fail even under NLL, via `#[rustc_error]`. That's the first commit. (Then goto 2 to double-check no such tests remain.) 4. I took the generated `build/target/test/foo.stderr` file for every case that failed, and blindly copied it to `src/test/foo.nll.stderr`. That's the second commit. 5. Goto 2 until there were no failing cases. 6. Remove any stamp files, and re-run `x.py test` to make sure that the edits and new `.nll.stderr` files haven't broken the pre-existing test suite.
2018-04-11Rollup merge of #49781 - Robbepop:master, r=nikomatsakiskennytm-0/+63
add regression test for #16223 (NLL): use of collaterally moved value Adds regression test for https://github.com/rust-lang/rust/issues/16223 which NLL fixes. The current downside of this test is that it uses the `#![feature(box_patterns)]` and I haven't come up with a proper test that only uses the `#![feature(nll)]` - however, I don't know if this is even possible to test without `#![feature(box_syntax)]` or `#![feature(box_patterns)]`.
2018-04-11Checkpoint the current status of NLL on `ui` tests via compare-mode=nll.Felix S. Klock II-0/+51
2018-04-09add regression test for issue #16223: fixed by NLLHero-0/+63
2018-04-07modify the error message- CR Commentsgaurikholkar-2/+2
2018-04-06fix ui testgaurikholkar-2/+2
2018-04-06fix ui testgaurikholkar-1/+1
2018-04-05Merge branch 'master' of https://github.com/rust-lang/rust into e0389gaurikholkar-96/+309
2018-04-05Auto merge of #48851 - petrochenkov:genparattr, r=nikomatsakisbors-4/+2
Stabilize attributes on generic parameters Closes https://github.com/rust-lang/rust/issues/48848
2018-04-05Stabilize attributes on generic parametersVadim Petrochenkov-4/+2
2018-04-05Rollup merge of #49641 - valff:decl-macro-illegal-copy, r=nikomatsakiskennytm-0/+53
Regression test for #46314 #46314 is fixed by NLL. This PR adds a regression test for the bug. Intended for #47366.
2018-04-04Regression test for #46314Valentine Valyaeff-0/+53
2018-04-04Formattinglloydmeta-1/+13
2018-04-04Add a test for the fix to issue #43058lloydmeta-0/+26
Followed the instructions laid out here https://github.com/rust-lang/rust/issues/43058#issuecomment-378389971
2018-03-26Stabilize conservative_impl_traitTaylor Cramer-8/+6
2018-03-23add test for issue-48238csmoe-0/+30
2018-03-15Rollup merge of #48988 - bobtwinkles:add_48070_test, r=nikomatsakiskennytm-0/+35
Add a test for #48070 Resolves #48070. The bug itself was fixed by #48770, but that PR didn't add a test for it. r? @nikomatsakis
2018-03-14update testsGuillaume Gomez-41/+41
2018-03-13Move 48070 test to uibobtwinkles-0/+35
2018-03-13add regression tests for various MIR bugs that get fixedNiko Matsakis-0/+106
Fixes #31567 Fixes #47470 Fixes #48132 Fixes #48179
2018-03-12address code review commentsgaurikholkar-2/+2
2018-03-11fix tidy issuesgaurikholkar-1/+1
2018-03-11add ui test for E0594gaurikholkar-0/+31
2018-03-09tidy: Add a check for stray `.stderr` and `.stdout` files in UI test directoriesVadim Petrochenkov-45/+0
2018-03-06Make causal tracking lazySantiago Pastorino-0/+2
2018-03-06Remove nll-dump-cause flag and always track causesSantiago Pastorino-33/+38
2018-03-01Make explain borrow work for Universal lifetimesSantiago Pastorino-12/+84
2018-02-28Do not report _#nr lifetimes names in errorsSantiago Pastorino-0/+83
2018-02-26Fix rebaseVadim Petrochenkov-121/+121
2018-02-26Update UI testsVadim Petrochenkov-34/+34
2018-02-26Update UI testsVadim Petrochenkov-609/+609
2018-02-25Update ui testsGuillaume Gomez-0/+35
2018-02-23update tests and reference filesNiko Matsakis-406/+406
The type checker invokes the borrow checker for closures it finds, so removing the NLL type checker affects ordering of errors somewhat.
2018-02-11Auto merge of #48092 - eddyb:discriminate-the-void, r=nikomatsakisbors-2/+15
rustc_mir: insert a dummy access to places being matched on, when building MIR. Fixes #47412 by adding a `_dummy = Discriminant(place)` before each `match place {...}`. r? @nikomatsakis
2018-02-09rustc_mir: insert a dummy access to places being matched on, when building MIR.Eduard-Mihai Burtescu-2/+15
2018-02-07Update trait-associated-const test to new formatbobtwinkles-20/+8
2018-02-06mir: Fix DefiningTy::Constbobtwinkles-0/+94
Fixes #47590 by fixing the way DefiningTy represents constants. Previously, constants were represented using just the type of the variable. However, this will fail to capture early-bound regions as NLL inference vars, resulting in an ICE when we try to compute region VIDs a little bit later in the universal region resolution process.
2018-01-27Fix new test from rebase.David Wood-1/+1
2018-01-27Updated tests with fixed span location.David Wood-10/+10
2018-01-22Auto merge of #47353 - nikomatsakis:nll-issue-47189, r=pnkfelix+nmatsakisbors-0/+35
renumber regions in generators This fixes #47189, but I think we still have to double check various things around how to treat generators in MIR type check + borrow check (e.g., what borrows should be invalidated by a `Suspend`? What consistency properties should type check be enforcing anyway around the "interior" type?) Also fixes #47587 thanks to @spastorino's commit. r? @pnkfelix
2018-01-15Add NLL test for #45045Christopher Vittal-0/+41
Closes #45045
2018-01-15Rollup merge of #47368 - chrisvittal:nll-tests, r=nikomatsakiskennytm-0/+75
Add NLL tests for #46557 and #38899 This adapts the sample code from the two issues into test code. Closes #46557 Closes #38899 r? @nikomatsakis