]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5804637) | patch
propagate type tests from closure to closure creators
authorNiko Matsakis <niko@alum.mit.edu>
Mon, 4 Dec 2017 18:04:38 +0000 (13:04 -0500)
committerNiko Matsakis <niko@alum.mit.edu>
Fri, 15 Dec 2017 15:27:51 +0000 (10:27 -0500)
commit85e1d4749e5ba14ff89073f5812974ec8fdbffd4
tree5442f2b3f0f5dc1e885c09bfdb50bdfcc95cf2c2tree | snapshot
parent5804637a81a8e5216fbbf2e3e7c0a7bdca9c99decommit | diff
propagate type tests from closure to closure creators

Currently, we only propagate type tests that exclude all regions from
the type.
src/librustc_mir/borrow_check/nll/region_infer/mod.rs diff | blob | history
src/librustc_mir/borrow_check/nll/type_check/mod.rs diff | blob | history
src/librustc_mir/borrow_check/nll/universal_regions.rs diff | blob | history
src/test/ui/nll/ty-outlives/ty-param-closure-outlives-from-return-type.rs [new file with mode: 0644] blob
src/test/ui/nll/ty-outlives/ty-param-closure-outlives-from-return-type.stderr [new file with mode: 0644] blob
src/test/ui/nll/ty-outlives/ty-param-closure-outlives-from-where-clause.rs [new file with mode: 0644] blob
src/test/ui/nll/ty-outlives/ty-param-closure-outlives-from-where-clause.stderr [new file with mode: 0644] blob
Empowering everyone to build reliable and efficient software.