NLL should identify and respect the lifetime annotations that the user wrote - #48482

Merged

bors merged 17 commits into

rust-lang:masterfrom

davidtwco:issue-47184

Mar 24, 2018

Commits on Mar 22, 2018

Added initial test for #47184
davidtwco
committed
c0fdb29
Added UserAssertTy statement.
davidtwco
committed
17b285d
Killing UserAssertTy in CleanupPostBorrowck pass.
davidtwco
committed
1331cd4
Added initial processing of UserAssertTy statements.
davidtwco
committed
5f21aa8
Changed location to at_self from at_successor.
davidtwco
committed
239b3ec
Added override in renumberer for UserAssertTy.
davidtwco
committed
ee4c7ac
Updated test with expected error message.
davidtwco
committed
c8d81b1
Added comment in renumberer about UserAssertTy.
davidtwco
committed
d4b9a78
No longer visiting user_assert_ty statements in constraint generation.
davidtwco
committed
5d2a60c
UserAssertTy can handle inference variables.
davidtwco
committed
692a931
Switched from canonicalize_query to canonicalize_response
davidtwco
committed
e1648bd
Temporarily only adding UserAssertTy on binding patterns.
davidtwco
committed
fc5c4da
Debug logs for replace_bound_regions_with_nll_infer_vars

nikomatsakis
authored and
davidtwco
committed
04aeef8
Added flag to disable user type assertion.
davidtwco
committed
447ae76

Commits on Mar 23, 2018

Updated MIR with UserAssertTy in mir-opt tests.
davidtwco
committed
03481f1
Fixed issues with incremental tests.
davidtwco
committed
3a0162b
Improved comments for UserAssertTy statement.
davidtwco
committed
4161ae7