]> git.lizzy.rs Git - rust.git/commit
translate `Verify`s into `TypeTest`s and check them
authorNiko Matsakis <niko@alum.mit.edu>
Sun, 3 Dec 2017 12:01:09 +0000 (07:01 -0500)
committerNiko Matsakis <niko@alum.mit.edu>
Fri, 15 Dec 2017 15:10:56 +0000 (10:10 -0500)
commit6193c5cc2acd1c427a372dfdab3d071e880ecf62
treeed1cb2879b21cd932f0b870dafc1482dcec412e1
parentcd564d20ff521d56ad3f01fe0e0588d9487c0c13
translate `Verify`s into `TypeTest`s and check them
src/librustc_mir/borrow_check/nll/region_infer/dfs.rs
src/librustc_mir/borrow_check/nll/region_infer/mod.rs
src/librustc_mir/borrow_check/nll/subtype_constraint_generation.rs
src/test/ui/nll/ty-outlives/ty-param-fn.rs [new file with mode: 0644]
src/test/ui/nll/ty-outlives/ty-param-fn.stderr [new file with mode: 0644]