Niko Matsakis bfb1d959c3 normalize and prove predicates ...

Also include a test that was not working previously.

2018-10-19 09:34:27 -04:00

..

closure-requirements

Improve closure region bound errors

2018-10-06 10:00:26 +01:00

relate_tys

Use the span of the user type for AscribeUserType

2018-10-10 11:56:16 +01:00

ty-outlives

Update output for borrowck=migrate compare mode.

2018-10-17 00:57:32 +02:00

user-annotations

normalize and prove predicates

2018-10-19 09:34:27 -04:00

borrow-use-issue-46875.rs

…

borrowck-thread-local-static-mut-borrow-outlives-fn.rs

…

borrowed-local-error.rs

…

borrowed-local-error.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

borrowed-match-issue-45045.rs

…

borrowed-match-issue-45045.stderr

…

borrowed-referent-issue-38899.rs

…

borrowed-referent-issue-38899.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

borrowed-temporary-error.rs

…

borrowed-temporary-error.stderr

…

borrowed-universal-error-2.rs

…

borrowed-universal-error-2.stderr

…

borrowed-universal-error.rs

…

borrowed-universal-error.stderr

…

cannot-move-block-spans.nll.stderr

Update output for borrowck=migrate compare mode.

2018-10-17 00:57:32 +02:00

cannot-move-block-spans.rs

…

cannot-move-block-spans.stderr

…

capture-mut-ref.rs

…

capture-mut-ref.stderr

…

capture-ref-in-struct.rs

…

capture-ref-in-struct.stderr

…

closure-access-spans.rs

…

closure-access-spans.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

closure-borrow-spans.rs

…

closure-borrow-spans.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

closure-captures.rs

…

closure-captures.stderr

…

closure-move-spans.rs

…

closure-move-spans.stderr

…

closure-use-spans.rs

…

closure-use-spans.stderr

…

closures-in-loops.rs

…

closures-in-loops.stderr

Test fixes for the change of error message for issue #54015

2018-09-28 09:25:14 -07:00

constant-thread-locals-issue-47053.rs

…

constant-thread-locals-issue-47053.stderr

…

constant.rs

…

decl-macro-illegal-copy.rs

…

decl-macro-illegal-copy.stderr

…

do-not-ignore-lifetime-bounds-in-copy.rs

…

do-not-ignore-lifetime-bounds-in-copy.stderr

…

drop-may-dangle.rs

…

drop-no-may-dangle.rs

…

drop-no-may-dangle.stderr

Updates to .stderr output in ui tests from earlier changes.

2018-10-05 12:04:53 +02:00

enum-drop-access.rs

…

enum-drop-access.stderr

…

extra-unused-mut.rs

…

generator-distinct-lifetime.rs

…

generator-upvar-mutability.rs

…

generator-upvar-mutability.stderr

…

get_default.nll.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

get_default.rs

…

get_default.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

guarantor-issue-46974.rs

…

guarantor-issue-46974.stderr

…

issue-16223.rs

…

issue-21114-ebfull.rs

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-21114-kixunil.rs

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-21232-partial-init-and-erroneous-use.rs

Some new tests I added.

2018-10-17 02:33:03 +02:00

issue-21232-partial-init-and-erroneous-use.stderr

Some new tests I added.

2018-10-17 02:33:03 +02:00

issue-21232-partial-init-and-use.rs

Some new tests I added.

2018-10-17 02:33:03 +02:00

issue-21232-partial-init-and-use.stderr

Some new tests I added.

2018-10-17 02:33:03 +02:00

issue-22323-temp-destruction.rs

…

issue-27868.rs

…

issue-27868.stderr

…

issue-30104.rs

…

issue-31567.rs

…

issue-31567.stderr

…

issue-32382-index-assoc-type-with-lifetime.rs

Regression test for #32382.

2018-10-04 13:03:24 +02:00

issue-43058.rs

…

issue-47022.rs

…

issue-47388.rs

…

issue-47388.stderr

…

issue-47470.rs

…

issue-47470.stderr

…

issue-48070.rs

…

issue-48238.rs

…

issue-48238.stderr

…

issue-48697.rs

…

issue-50716-1.rs

…

issue-50716.rs

…

issue-50716.stderr

…

issue-51191.rs

Improve mutability error suggestions.

2018-10-02 00:35:15 +02:00

issue-51191.stderr

Improve mutability error suggestions.

2018-10-02 00:35:15 +02:00

issue-51244.rs

…

issue-51244.stderr

…

issue-51268.rs

…

issue-51268.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

issue-51351.rs

…

issue-51512.rs

updates to expected output for other ui tests.

2018-10-16 17:11:36 +02:00

issue-51512.stderr

updates to expected output for other ui tests.

2018-10-16 17:11:36 +02:00

issue-52059-report-when-borrow-and-drop-conflict.rs

…

issue-52059-report-when-borrow-and-drop-conflict.stderr

…

issue-52078.rs

…

issue-52086.rs

Add special cases for move from Rc/Arc errors.

2018-10-01 13:50:22 +02:00

issue-52086.stderr

Add special cases for move from Rc/Arc errors.

2018-10-01 13:50:22 +02:00

issue-52113.rs

…

issue-52113.stderr

…

issue-52534-1.rs

…

issue-52534-1.stderr

…

issue-52534-2.rs

…

issue-52534-2.stderr

…

issue-52534.rs

…

issue-52534.stderr

…

issue-52663-span-decl-captured-variable.rs

…

issue-52663-span-decl-captured-variable.stderr

…

issue-52663-trait-object.rs

Update logic to search for casts.

2018-10-07 16:14:22 +02:00

issue-52663-trait-object.stderr

Update logic to search for casts.

2018-10-07 16:14:22 +02:00

issue-52669.rs

…

issue-52669.stderr

…

issue-52742.rs

…

issue-52742.stderr

…

issue-53040.rs

Improve errors for FnMut closures.

2018-10-09 12:31:47 +02:00

issue-53040.stderr

Improve message for closure returning a closure.

2018-10-09 12:31:51 +02:00

issue-53119.rs

…

issue-53570.rs

…

issue-53807.nll.stderr

Test fixes for the change of error message for issue #54015

2018-09-28 09:25:14 -07:00

issue-53807.rs

…

issue-53807.stderr

…

issue-54556-niconii.nll.stderr

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-niconii.rs

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-niconii.stderr

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-stephaneyfx.nll.stderr

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-stephaneyfx.rs

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-stephaneyfx.stderr

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-temps-in-tail-diagnostic.nll.stderr

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-temps-in-tail-diagnostic.rs

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-temps-in-tail-diagnostic.stderr

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-used-vs-unused-tails.nll.stderr

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-used-vs-unused-tails.rs

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

issue-54556-used-vs-unused-tails.stderr

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.nll.stderr

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.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

Unit tests for issue #54556. Some were also taken from issues #21114, #46413.

2018-10-05 12:04:53 +02:00

loan_ends_mid_block_pair.rs

…

loan_ends_mid_block_pair.stderr

…

loan_ends_mid_block_vec.rs

…

loan_ends_mid_block_vec.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

match-guards-always-borrow.ast.nll.stderr

Update output for borrowck=migrate compare mode.

2018-10-17 00:57:32 +02:00

match-guards-always-borrow.ast.stderr

…

match-guards-always-borrow.mir.stderr

…

match-guards-always-borrow.rs

…

match-guards-partially-borrow.rs

Prefer #![feature(bind_by_move_pattern_guards)] over -Z disable_ast_check_for_mutation_in_guard

2018-09-28 15:40:10 +02:00

match-guards-partially-borrow.stderr

…

match-on-borrowed.rs

…

match-on-borrowed.stderr

…

maybe-initialized-drop-implicit-fragment-drop.rs

…

maybe-initialized-drop-implicit-fragment-drop.stderr

Updates to .stderr output in ui tests from earlier changes.

2018-10-05 12:04:53 +02:00

maybe-initialized-drop-uninitialized.rs

…

maybe-initialized-drop-with-fragment.rs

…

maybe-initialized-drop-with-fragment.stderr

Updates to .stderr output in ui tests from earlier changes.

2018-10-05 12:04:53 +02:00

maybe-initialized-drop-with-uninitialized-fragments.rs

…

maybe-initialized-drop-with-uninitialized-fragments.stderr

Updates to .stderr output in ui tests from earlier changes.

2018-10-05 12:04:53 +02:00

maybe-initialized-drop.rs

…

maybe-initialized-drop.stderr

Updates to .stderr output in ui tests from earlier changes.

2018-10-05 12:04:53 +02:00

mir_check_cast_closure.rs

…

mir_check_cast_closure.stderr

…

mir_check_cast_reify.rs

…

mir_check_cast_reify.stderr

…

mir_check_cast_unsafe_fn.rs

…

mir_check_cast_unsafe_fn.stderr

…

mir_check_cast_unsize.rs

…

mir_check_cast_unsize.stderr

…

move-errors.rs

…

move-errors.stderr

Add special cases for move from Rc/Arc errors.

2018-10-01 13:50:22 +02:00

move-subpaths-moves-root.rs

…

move-subpaths-moves-root.stderr

…

normalization-bounds-error.rs

…

normalization-bounds-error.stderr

…

normalization-bounds.rs

…

polonius-smoke-test.rs

Get Polonius borrow check to work in simple cases

2018-09-26 22:03:56 +01:00

polonius-smoke-test.stderr

Get Polonius borrow check to work in simple cases

2018-09-26 22:03:56 +01:00

projection-return.rs

…

promotable-mutable-zst-doesnt-conflict.rs

…

reference-carried-through-struct-field.ast.nll.stderr

…

reference-carried-through-struct-field.ast.stderr

…

reference-carried-through-struct-field.mir.stderr

…

reference-carried-through-struct-field.rs

…

region-ends-after-if-condition.nll.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

region-ends-after-if-condition.rs

…

region-ends-after-if-condition.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

return_from_loop.rs

…

return_from_loop.stderr

Clearer later use messages for calls

2018-10-03 20:32:38 +01:00

return-ref-mut-issue-46557.rs

…

return-ref-mut-issue-46557.stderr

…

trait-associated-constant.rs

…

trait-associated-constant.stderr

…

type-alias-free-regions.rs

…

type-alias-free-regions.stderr

…

unused-mut-issue-50343.rs

…

unused-mut-issue-50343.stderr

…

where_clauses_in_functions.rs

…

where_clauses_in_functions.stderr

…

where_clauses_in_structs.rs

…

where_clauses_in_structs.stderr

…