closure handling for NLL - #46509

Merged

bors merged 21 commits into

rust-lang:masterfrom

nikomatsakis:nll-master-to-rust-master-3

Dec 7, 2017

Commits on Dec 7, 2017

renumber types in `ty::Const` and relate them to `mir::Constant`
nikomatsakis
committed
e5dc4ba
extend MIR dump with detailed, extra information
nikomatsakis
committed
2ec959f
mir-borrowck returns closure requirements, mir-typeck enforces
nikomatsakis
committed
ab1c1bc
add closure requirement tests, improve debugging output
nikomatsakis
committed
05441ab
replace `InferCtxt::fn_sig` with `closure_sig`
nikomatsakis
committed
d5ef3e2
make `fn_sig().subst()` ICE when used with a closure
nikomatsakis
committed
b4d71ea
fix filter to support `&` and `|`
nikomatsakis
committed
681f54f
don't print self symbol's internal index unless gensymed
nikomatsakis
committed
47b8ef5
rewrite comment on how to get closure sig, per arielb1's suggestion
nikomatsakis
committed
05977fe
escape-argument-callee: improve comment per arielb1's suggestions
nikomatsakis
committed
dac59ac
escape-argument: improve comment per arielb1's suggestion
nikomatsakis
committed
782b9f5
escape-upvar-nested: patch "dangling reference" to renamed test
nikomatsakis
committed
8b657d3
escape-upvar-ref: patch comment per arielb1
nikomatsakis
committed
6ee31e2
delete stray file
nikomatsakis
committed
3c42f18
test approximations of the "shorter side" that resort to `'static`
nikomatsakis
committed
ca60826
test more failure cases for approximating the "longer" side
nikomatsakis
committed
2a17b93
propagate-approximated-ref: include FIXME comment
nikomatsakis
committed
b8e9eaf
region-ebr-does-not-outlive-static: reuse old test instead
nikomatsakis
committed
75cf482
use `-Znll -Zborrowck=mir -Zverbose` consistently
nikomatsakis
committed
86e7b5c
add test comparing free region to bound region
nikomatsakis
committed
4703770
rename `Binder::new_not_binding` to `Binder::dummy`
nikomatsakis
committed
1db58d7

Navigation Menu

Uh oh!

Uh oh!

closure handling for NLL - #46509

closure handling for NLL#46509
bors merged 21 commits into
rust-lang:masterfrom
nikomatsakis:nll-master-to-rust-master-3

Commits on Dec 7, 2017

renumber types in `ty::Const` and relate them to `mir::Constant`

extend MIR dump with detailed, extra information

mir-borrowck returns closure requirements, mir-typeck enforces

add closure requirement tests, improve debugging output

replace `InferCtxt::fn_sig` with `closure_sig`

make `fn_sig().subst()` ICE when used with a closure

fix filter to support `&` and `|`

don't print self symbol's internal index unless gensymed

rewrite comment on how to get closure sig, per arielb1's suggestion

escape-argument-callee: improve comment per arielb1's suggestions

escape-argument: improve comment per arielb1's suggestion

escape-upvar-nested: patch "dangling reference" to renamed test

escape-upvar-ref: patch comment per arielb1

delete stray file

test approximations of the "shorter side" that resort to `'static`

test more failure cases for approximating the "longer" side

propagate-approximated-ref: include FIXME comment

region-ebr-does-not-outlive-static: reuse old test instead

use `-Znll -Zborrowck=mir -Zverbose` consistently

add test comparing free region to bound region

rename `Binder::new_not_binding` to `Binder::dummy`