user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/test/ui/nll
History
Dylan DPC 09f3c908bb
Rollup merge of #70950 - nikomatsakis:leak-check-nll-2, r=matthewjasper 
extend NLL checker to understand `'empty` combined with universes

This PR extends the NLL region checker to understand `'empty` combined with universes. In particular, it means that the NLL region checker no longer considers `exists<R2> { forall<R1> { R1: R2 } }` to be provable. This is work towards https://github.com/rust-lang/rust/issues/59490, but we're not all the way there. One thing in particular it does not address is error messages.

The modifications to the NLL region inference code turned out to be simpler than expected. The main change is to require that if `R1: R2` then `universe(R1) <= universe(R2)`.

This constraint follows from the region lattice (shown below), because we assume then that `R2` is "at least" `empty(Universe(R2))`, and hence if `R1: R2` (i.e., `R1 >= R2` on the lattice) then `R1` must be in some universe that can name `'empty(Universe(R2))`, which requires that `Universe(R1) <= Universe(R2)`.

```
static ----------+-----...------+       (greatest)
|                |              |
early-bound and  |              |
free regions     |              |
|                |              |
scope regions    |              |
|                |              |
empty(root)   placeholder(U1)   |
|            /                  |
|           /         placeholder(Un)
empty(U1) --         /
|                   /
...                /
|                 /
empty(Un) --------                      (smallest)
```

I also made what turned out to be a somewhat unrelated change to add a special region to represent `'empty(U0)`, which we use (somewhat hackily) to indicate well-formedness checks in some parts of the compiler. This fixes #68550.

I did some investigation into fixing the error message situation. That's a bit trickier: the existing "nice region error" code around placeholders relies on having better error tracing than NLL currently provides, so that it knows (e.g.) that the constraint arose from applying a trait impl and things like that. I feel like I was hoping *not* to do such fine-grained tracing in NLL, and it seems like we...largely...got away with that. I'm not sure yet if we'll have to add more tracing information or if there is some sort of alternative.

It's worth pointing out though that I've not kind of shifted my opinion on whose job it should be to enforce lifetimes: I tend to think we ought to be moving back towards *something like* the leak-check (just not the one we *had*). If we took that approach, it would actually resolve this aspect of the error message problem, because we would be resolving 'higher-ranked errors' in the trait solver itself, and hence we wouldn't have to thread as much causal information back to the region checker. I think it would also help us with removing the leak check while not breaking some of the existing crates out there.

Regardless, I think it's worth landing this change, because it was relatively simple and it aligns the set of programs that NLL accepts with those that are accepted by the main region checker, and hence should at least *help* us in migration (though I guess we still also have to resolve the existing crates that rely on leak check for coherence).

r? @matthewjasper
2020-04-30 20:15:20 +02:00
..
closure-requirements rustc: keep upvars tupled in {Closure,Generator}Substs. 2020-03-21 14:23:50 +02:00
polonius add subset relations test using polonius 2019-12-06 11:50:02 +01:00
relate_tys enforce that R1: R2 requires univ(R1) <= univ(R2) 2020-04-16 11:03:41 +00:00
ty-outlives Rollup merge of #70277 - matthewjasper:remove-closurebound, r=nikomatsakis 2020-03-24 00:49:48 +01:00
user-annotations bless output of ui test nll/user-annotations/closure-substs.rs 2020-03-30 01:30:26 +02:00
assign-while-to-immutable.rs Fix incorrect double assignment in MIR for while loops 2019-06-25 22:41:22 +01:00
borrow-use-issue-46875.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
borrowck-thread-local-static-mut-borrow-outlives-fn.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
borrowed-local-error.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
borrowed-local-error.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
borrowed-match-issue-45045.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
borrowed-match-issue-45045.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
borrowed-referent-issue-38899.rs Adjust & --bless tests due to no longer downgrading NLL errors on 2015. 2019-09-26 06:44:57 +02:00
borrowed-referent-issue-38899.stderr Adjust & --bless tests due to no longer downgrading NLL errors on 2015. 2019-09-26 06:44:57 +02:00
borrowed-temporary-error.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
borrowed-temporary-error.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
borrowed-universal-error-2.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
borrowed-universal-error-2.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
borrowed-universal-error.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
borrowed-universal-error.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
cannot-move-block-spans.rs Remove licenses 2018-12-25 21:08:33 -07:00
cannot-move-block-spans.stderr Remove asterisk suggestion for move errors in borrowck 2019-06-04 13:31:40 -04:00
capture-mut-ref.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
capture-mut-ref.stderr Normalise notes with the/is 2020-01-24 16:24:50 +00:00
capture-ref-in-struct.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
capture-ref-in-struct.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closure-access-spans.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closure-access-spans.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closure-borrow-spans.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closure-borrow-spans.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closure-captures.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closure-captures.stderr Tweak borrow error on FnMut when Fn is expected 2020-02-03 18:02:44 -08:00
closure-move-spans.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closure-move-spans.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closure-use-spans.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closure-use-spans.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closures-in-loops.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
closures-in-loops.stderr update ui tests 2019-09-21 17:43:56 +02:00
constant-thread-locals-issue-47053.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
constant-thread-locals-issue-47053.stderr Update ui tests 2019-11-18 19:00:10 +01:00
constant.rs Use check-pass mode for nll tests 2020-01-23 00:00:00 +00:00
decl-macro-illegal-copy.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
decl-macro-illegal-copy.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
do-not-ignore-lifetime-bounds-in-copy-proj.rs Check Copy lifetimes bounds when copying from a projection 2020-02-13 20:31:25 +00:00
do-not-ignore-lifetime-bounds-in-copy-proj.stderr Check Copy lifetimes bounds when copying from a projection 2020-02-13 20:31:25 +00:00
do-not-ignore-lifetime-bounds-in-copy.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
do-not-ignore-lifetime-bounds-in-copy.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
dont-print-desugared.rs Dont show variables from desugarings in borrowck errors 2019-05-21 20:38:17 +01:00
dont-print-desugared.stderr Don't give invalid suggestion on desugared span. 2020-02-12 18:32:27 -07:00
drop-may-dangle.rs Use check-pass mode for nll tests 2020-01-23 00:00:00 +00:00
drop-no-may-dangle.rs retrieve ty info from place_ty 2018-12-27 17:25:45 +08:00
drop-no-may-dangle.stderr Update tests 2019-03-11 23:10:26 +03:00
empty-type-predicate-2.rs Fix more ReEmpty ICEs 2019-10-24 21:15:08 +01:00
empty-type-predicate.rs Fix more ReEmpty ICEs 2019-10-24 21:15:08 +01:00
enum-drop-access.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
enum-drop-access.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
extra-unused-mut.rs Use check-pass mode for nll tests 2020-01-23 00:00:00 +00:00
generator-distinct-lifetime.rs Use check-pass mode for nll tests 2020-01-23 00:00:00 +00:00
generator-upvar-mutability.rs Remove licenses 2018-12-25 21:08:33 -07:00
generator-upvar-mutability.stderr Update ui tests 2019-11-18 19:00:10 +01:00
get_default.nll.stderr Change compare mode to use -Zborrowck=mir 2019-05-12 18:46:43 +01:00
get_default.polonius.stderr Calculate liveness for the same locals with and without -Zpolonius 2019-10-02 20:39:01 +01:00
get_default.rs Update tests 2019-05-03 03:11:37 -04:00
get_default.stderr Update tests 2019-05-03 03:11:37 -04:00
guarantor-issue-46974.rs Remove licenses 2018-12-25 21:08:33 -07:00
guarantor-issue-46974.stderr hide --explain hint if error has no extended info 2019-04-18 13:29:28 -04:00
issue-16223.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-21114-ebfull.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-21114-kixunil.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-21232-partial-init-and-erroneous-use.rs Fixed grammar/style in error messages and reblessed tests. 2019-09-06 03:46:08 +01:00
issue-21232-partial-init-and-erroneous-use.stderr Fixed grammar/style in error messages and reblessed tests. 2019-09-06 03:46:08 +01:00
issue-21232-partial-init-and-use.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-21232-partial-init-and-use.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-22323-temp-destruction.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-27868.rs remove feature(nll) from #27868 test. 2019-09-26 06:44:57 +02:00
issue-27868.stderr remove feature(nll) from #27868 test. 2019-09-26 06:44:57 +02:00
issue-30104.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-31567.rs remove feature(nll) from #31567 test. 2019-09-26 06:44:57 +02:00
issue-31567.stderr remove feature(nll) from #31567 test. 2019-09-26 06:44:57 +02:00
issue-32382-index-assoc-type-with-lifetime.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-42574-diagnostic-in-nested-closure.rs Regression test for issue 42574. 2019-07-09 11:56:01 +02:00
issue-42574-diagnostic-in-nested-closure.stderr Regression test for issue 42574. 2019-07-09 11:56:01 +02:00
issue-43058.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-46589.rs issue-46589 passes in Polonius and fails in NLL, duplicate it and manually check each outcome 2019-07-22 12:46:55 +02:00
issue-46589.stderr issue-46589 passes in Polonius and fails in NLL, duplicate it and manually check each outcome 2019-07-22 12:46:55 +02:00
issue-47022.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-47153-generic-const.rs tests: Move run-pass tests without naming conflicts to ui 2019-07-27 18:56:16 +03:00
issue-47388.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-47388.stderr Update ui tests 2019-11-18 19:00:10 +01:00
issue-47470.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-47470.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-47589.rs tests: Move run-pass tests without naming conflicts to ui 2019-07-27 18:56:16 +03:00
issue-48070.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-48238.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-48238.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-48623-closure.rs tests: Move run-pass tests without naming conflicts to ui 2019-07-27 18:56:16 +03:00
issue-48623-generator.rs tests: Move run-pass tests without naming conflicts to ui 2019-07-27 18:56:16 +03:00
issue-48697.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-48697.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-50343.rs Use drop instead of the toilet closure |_| () 2020-01-02 08:56:12 +00:00
issue-50461-used-mut-from-moves.rs tests: Move run-pass tests without naming conflicts to ui 2019-07-27 18:56:16 +03:00
issue-50716-1.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-50716.nll.stderr update tests 2019-10-27 09:39:14 -05:00
issue-50716.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-50716.stderr Print lifetimes with backticks 2019-10-11 16:08:53 +09:00
issue-51191.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-51191.stderr rustc: Add a warning count upon completion 2020-04-11 16:15:24 +02:00
issue-51244.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-51244.stderr Update ui tests 2019-11-18 19:00:10 +01:00
issue-51268.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-51268.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-51351.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-51512.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-51512.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52059-report-when-borrow-and-drop-conflict.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-52059-report-when-borrow-and-drop-conflict.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-52078.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-52086.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52086.stderr Update tests for changes to cannot move errors 2019-06-03 14:55:29 +01:00
issue-52113.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52113.stderr update tests 2019-10-27 09:39:14 -05:00
issue-52534-1.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52534-1.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52534-2.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52534-2.stderr Evaluate borrow and struct expressions in into 2019-11-11 22:06:54 +00:00
issue-52534.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52534.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52663-span-decl-captured-variable.rs Update tests for changes to cannot move errors 2019-06-03 14:55:29 +01:00
issue-52663-span-decl-captured-variable.stderr Update tests for changes to cannot move errors 2019-06-03 14:55:29 +01:00
issue-52663-trait-object.rs Update ui test suite to use dyn 2019-05-29 00:57:31 -04:00
issue-52663-trait-object.stderr Update ui test suite to use dyn 2019-05-29 00:57:31 -04:00
issue-52669.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52669.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52742.nll.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52742.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-52742.stderr Print lifetimes with backticks 2019-10-11 16:08:53 +09:00
issue-53040.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-53040.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-53119.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-53123-raw-pointer-cast.rs tests: Move run-pass tests without naming conflicts to ui 2019-07-27 18:56:16 +03:00
issue-53570.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-53773.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-53773.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-53807.rs update tests for migrate mode by default 2019-04-22 08:40:08 +01:00
issue-53807.stderr update tests for migrate mode by default 2019-04-22 08:40:08 +01:00
issue-54382-use-span-of-tail-of-block.rs Update tests 2018-12-04 10:06:05 +01:00
issue-54382-use-span-of-tail-of-block.stderr Suggest ; or assignment to drop borrows in tail exprs 2020-04-28 18:47:06 -07:00
issue-54556-niconii.rs Update tests 2018-12-04 10:06:05 +01:00
issue-54556-niconii.stderr Suggest ; or assignment to drop borrows in tail exprs 2020-04-28 18:47:06 -07:00
issue-54556-stephaneyfx.rs Update tests 2018-12-04 10:06:05 +01:00
issue-54556-stephaneyfx.stderr Suggest ; or assignment to drop borrows in tail exprs 2020-04-28 18:47:06 -07:00
issue-54556-temps-in-tail-diagnostic.rs Update tests 2018-12-04 10:06:05 +01:00
issue-54556-temps-in-tail-diagnostic.stderr Suggest ; or assignment to drop borrows in tail exprs 2020-04-28 18:47:06 -07:00
issue-54556-used-vs-unused-tails.rs fix various typos 2020-03-06 15:19:31 +01:00
issue-54556-used-vs-unused-tails.stderr Suggest ; or assignment to drop borrows in tail exprs 2020-04-28 18:47:06 -07:00
issue-54556-wrap-it-up.rs Unit tests for issue #54556. Some were also taken from issues #21114, #46413. 2018-10-05 12:04:53 +02:00
issue-54556-wrap-it-up.stderr update tests for migrate mode by default 2019-04-22 08:40:08 +01:00
issue-55288.rs Update test stderr with results of enabling unused lints 2019-09-08 11:32:28 -04:00
issue-55344.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-55394.nll.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-55394.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-55394.stderr Include a span in more expected...found notes 2019-12-03 23:13:10 -05:00
issue-55401.nll.stderr update tests 2019-10-27 09:39:14 -05:00
issue-55401.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-55401.stderr Print lifetimes with backticks 2019-10-11 16:08:53 +09:00
issue-55651.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-55850.rs Add a resume type parameter to Generator 2020-02-02 13:20:57 +01:00
issue-55850.stderr Explain error when yielding a reference to a local variable 2019-04-22 18:50:26 +01:00
issue-57100.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-57100.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
issue-57265-return-type-wf-check.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-57265-return-type-wf-check.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-57280-1.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-57280.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-57960.rs Update test stderr with results of enabling unused lints 2019-09-08 11:32:28 -04:00
issue-57989.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-57989.stderr Update ui tests 2019-11-18 19:00:10 +01:00
issue-58053.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-58053.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-58299.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
issue-58299.stderr update tests 2019-10-27 09:39:14 -05:00
issue-61311-normalize.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-61320-normalize.rs Use check-pass in ui tests where appropriate 2019-11-04 16:03:46 +01:00
issue-61424.rs Use a type implementing Drop 2019-06-02 19:11:39 -07:00
issue-61424.stderr Normalise notes with the/is 2020-01-24 16:24:50 +00:00
issue-62007-assign-const-index.rs Add test checking our behavior for assigning over a ConstIndex projection. 2019-06-21 13:08:15 +02:00
issue-62007-assign-const-index.stderr Add test checking our behavior for assigning over a ConstIndex projection. 2019-06-21 13:08:15 +02:00
issue-62007-assign-differing-fields.rs Add test that our handling of projections hasn't gone too far: 2019-06-21 12:52:54 +02:00
issue-62007-assign-differing-fields.stderr Add test that our handling of projections hasn't gone too far: 2019-06-21 12:52:54 +02:00
issue-63154-normalize.rs Update src/test/ui/nll/issue-63154-normalize.rs 2019-10-07 10:19:38 +02:00
issue-68550.rs reserve variable for empty root region 2020-04-16 11:03:41 +00:00
issue-68550.stderr reserve variable for empty root region 2020-04-16 11:03:41 +00:00
issue-69114-static-mut-ty.rs Check types of statics in MIR typeck 2020-02-13 20:31:25 +00:00
issue-69114-static-mut-ty.stderr Check types of statics in MIR typeck 2020-02-13 20:31:25 +00:00
issue-69114-static-ty.rs Check types of statics in MIR typeck 2020-02-13 20:31:25 +00:00
issue-69114-static-ty.stderr Check types of statics in MIR typeck 2020-02-13 20:31:25 +00:00
loan_ends_mid_block_pair.rs Update tests 2019-05-03 03:11:37 -04:00
loan_ends_mid_block_pair.stderr Update tests 2019-05-03 03:11:37 -04:00
loan_ends_mid_block_vec.rs Update tests 2019-05-03 03:11:37 -04:00
loan_ends_mid_block_vec.stderr Update tests 2019-05-03 03:11:37 -04:00
local-outlives-static-via-hrtb.rs Search for incompatible universes in borrow errors 2019-04-26 22:14:52 +01:00
local-outlives-static-via-hrtb.stderr Search for incompatible universes in borrow errors 2019-04-26 22:14:52 +01:00
match-cfg-fake-edges.rs Update tests wrt. bind_by_by_move_pattern_guards stabilization. 2019-09-08 01:39:24 +02:00
match-cfg-fake-edges.stderr Update tests wrt. bind_by_by_move_pattern_guards stabilization. 2019-09-08 01:39:24 +02:00
match-cfg-fake-edges2.rs Remove 'feature(nll)' from bind_by_move_pattern_guards tests. 2019-07-30 06:43:06 +02:00
match-cfg-fake-edges2.stderr Remove 'feature(nll)' from bind_by_move_pattern_guards tests. 2019-07-30 06:43:06 +02:00
match-guards-always-borrow.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
match-guards-always-borrow.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
match-guards-partially-borrow.rs Update tests wrt. bind_by_by_move_pattern_guards stabilization. 2019-09-08 01:39:24 +02:00
match-guards-partially-borrow.stderr Update tests wrt. bind_by_by_move_pattern_guards stabilization. 2019-09-08 01:39:24 +02:00
match-on-borrowed.rs remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
match-on-borrowed.stderr remove feature(nll) in more cases. 2019-09-26 06:44:57 +02:00
maybe-initialized-drop-implicit-fragment-drop.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
maybe-initialized-drop-implicit-fragment-drop.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
maybe-initialized-drop-uninitialized.rs Use check-pass mode for nll tests 2020-01-23 00:00:00 +00:00
maybe-initialized-drop-with-fragment.rs Remove licenses 2018-12-25 21:08:33 -07:00
maybe-initialized-drop-with-fragment.stderr Update tests 2019-03-11 23:10:26 +03:00
maybe-initialized-drop-with-uninitialized-fragments.rs Remove licenses 2018-12-25 21:08:33 -07:00
maybe-initialized-drop-with-uninitialized-fragments.stderr Update tests 2019-03-11 23:10:26 +03:00
maybe-initialized-drop.rs Remove licenses 2018-12-25 21:08:33 -07:00
maybe-initialized-drop.stderr Update tests 2019-03-11 23:10:26 +03:00
mir_check_cast_closure.rs Update tests 2019-01-17 20:39:06 -06:00
mir_check_cast_closure.stderr update tests 2019-10-27 09:39:14 -05:00
mir_check_cast_reify.rs Update tests 2019-01-17 20:39:06 -06:00
mir_check_cast_reify.stderr update tests 2019-10-27 09:39:14 -05:00
mir_check_cast_unsafe_fn.rs Update tests 2019-01-17 20:39:06 -06:00
mir_check_cast_unsafe_fn.stderr update tests 2019-10-27 09:39:14 -05:00
mir_check_cast_unsize.rs Update tests 2019-01-17 20:39:06 -06:00
mir_check_cast_unsize.stderr update tests 2019-10-27 09:39:14 -05:00
move-errors.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
move-errors.stderr Tweak move error due to non-Copy 2019-11-25 13:30:52 -08:00
move-subpaths-moves-root.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
move-subpaths-moves-root.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
mutating_references.rs tests: Move run-pass tests without naming conflicts to ui 2019-07-27 18:56:16 +03:00
normalization-bounds-error.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
normalization-bounds-error.stderr Include a span in more expected...found notes 2019-12-03 23:13:10 -05:00
normalization-bounds.rs Update test stderr with results of enabling unused lints 2019-09-08 11:32:28 -04:00
outlives-suggestion-more.rs add test for complex suggestions 2019-10-27 08:47:22 -05:00
outlives-suggestion-more.stderr add test for complex suggestions 2019-10-27 08:47:22 -05:00
outlives-suggestion-simple.polonius.stderr bless output of ui test nll/outlives-suggestion-simple.rs 2020-03-30 01:22:59 +02:00
outlives-suggestion-simple.rs update tests 2020-03-12 15:47:36 -05:00
outlives-suggestion-simple.stderr update tests 2020-03-12 15:47:36 -05:00
process_or_insert_default.rs tests: Move run-pass tests without naming conflicts to ui 2019-07-27 18:56:16 +03:00
projection-return.rs Use check-pass mode for nll tests 2020-01-23 00:00:00 +00:00
promotable-mutable-zst-doesnt-conflict.rs Update test stderr with results of enabling unused lints 2019-09-08 11:32:28 -04:00
promoted-bounds.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
promoted-bounds.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
promoted-closure-pair.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
promoted-closure-pair.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
promoted-liveness.rs Make lifetimes in constants live at the point of use 2019-10-02 20:39:01 +01:00
rc-loop.rs tests: Move run-pass tests without naming conflicts to ui 2019-07-27 18:56:16 +03:00
reference-carried-through-struct-field.rs update tests for migrate mode by default 2019-04-22 08:40:08 +01:00
reference-carried-through-struct-field.stderr update tests for migrate mode by default 2019-04-22 08:40:08 +01:00
region-ends-after-if-condition.nll.stderr Change compare mode to use -Zborrowck=mir 2019-05-12 18:46:43 +01:00
region-ends-after-if-condition.rs Update tests 2019-05-03 03:11:37 -04:00
region-ends-after-if-condition.stderr Update tests 2019-05-03 03:11:37 -04:00
return-ref-mut-issue-46557.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
return-ref-mut-issue-46557.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
return_from_loop.rs Update tests 2019-05-03 03:11:37 -04:00
return_from_loop.stderr Update tests 2019-05-03 03:11:37 -04:00
self-assign-ref-mut.rs Kill borrows from assignments after generating new borrows 2019-08-31 15:35:20 +01:00
trait-associated-constant.rs Rename test struct names to something more sensible 2019-03-12 18:33:27 -04:00
trait-associated-constant.stderr Specific labels when referring to "expected" and "found" types 2019-11-18 11:02:22 -08:00
type-alias-free-regions.nll.stderr Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
type-alias-free-regions.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
type-alias-free-regions.stderr Include a span in more expected...found notes 2019-12-03 23:13:10 -05:00
type-check-pointer-coercions.rs Type check coercions to pointer types 2019-02-23 14:25:03 +00:00
type-check-pointer-coercions.stderr update tests 2019-10-27 09:39:14 -05:00
type-check-pointer-comparisons.rs enforce that R1: R2 requires univ(R1) <= univ(R2) 2020-04-16 11:03:41 +00:00
type-check-pointer-comparisons.stderr enforce that R1: R2 requires univ(R1) <= univ(R2) 2020-04-16 11:03:41 +00:00
unused-mut-issue-50343.rs Remove feature(nll) when compare mode is sufficient 2019-05-12 18:46:43 +01:00
unused-mut-issue-50343.stderr Normalise notes with the/is 2020-01-24 16:24:50 +00:00
where_clauses_in_functions.rs Update tests 2019-01-17 20:39:06 -06:00
where_clauses_in_functions.stderr update tests 2019-10-27 09:39:14 -05:00
where_clauses_in_structs.rs Update tests 2019-01-17 20:39:06 -06:00
where_clauses_in_structs.stderr update tests 2019-10-27 09:39:14 -05:00