make MIR type checker handle a number of other cases#46582

Merged

bors merged 22 commits intorust-lang:masterfrom

nikomatsakis:nll-master-to-rust-master-4

Dec 14, 2017

Commits on Dec 13, 2017

Check Repeat Rvalue

spastorino
authored and
nikomatsakis
committed
fix universal regions to handle constant expressions like `[T; 22]`
nikomatsakis
committed
Check NullaryOp Rvalue

spastorino
authored and
nikomatsakis
committed
Check Aggregate predicates

spastorino
authored and
nikomatsakis
committed
Check functions predicates

spastorino
authored and
nikomatsakis
committed
Add more debug logs

spastorino
authored and
nikomatsakis
committed
Restructure a bit check_aggregate_rvalue code

spastorino
authored and
nikomatsakis
committed
Mir typeck Cast for ReifyFnPtr value

spastorino
authored and
nikomatsakis
committed
Mir typeck Cast for UnsafeFnPtr value

spastorino
authored and
nikomatsakis
committed
Extract coerce_closure_fn_ty function

spastorino
authored and
nikomatsakis
committed
Mir typeck Cast for ClosureFnPtr value

spastorino
authored and
nikomatsakis
committed
Mir typeck Cast for Unsize value

spastorino
authored and
nikomatsakis
committed
normalize fn sig as part of reification
nikomatsakis
committed
when reifying a safe fn as an unsafe fn ptr, insert two casts
nikomatsakis
committed
fix closure tests now that MIR typeck works properly
nikomatsakis
committed
refactor region value bitmatrix
nikomatsakis
committed
change to use an O(1) data structure for looking up point indices
nikomatsakis
committed
improve comments on `safe_to_unsafe_fn_ty` and `coerce_closure_fn_ty`
nikomatsakis
committed
document return value of `add_live_point`
nikomatsakis
committed
comments for `defining_ty` and `compute_indices`
nikomatsakis
committed
add FIXME related to constant well-formedness
nikomatsakis
committed
correct comment in test
nikomatsakis
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

make MIR type checker handle a number of other cases#46582

Commits on Dec 13, 2017

Check Repeat Rvalue

fix universal regions to handle constant expressions like `[T; 22]`

Check NullaryOp Rvalue

Check Aggregate predicates

Check functions predicates

Add more debug logs

Restructure a bit check_aggregate_rvalue code

Mir typeck Cast for ReifyFnPtr value

Mir typeck Cast for UnsafeFnPtr value

Extract coerce_closure_fn_ty function

Mir typeck Cast for ClosureFnPtr value

Mir typeck Cast for Unsize value

normalize fn sig as part of reification

when reifying a safe fn as an unsafe fn ptr, insert two casts

fix closure tests now that MIR typeck works properly

refactor region value bitmatrix

change to use an O(1) data structure for looking up point indices

improve comments on `safe_to_unsafe_fn_ty` and `coerce_closure_fn_ty`

document return value of `add_live_point`

comments for `defining_ty` and `compute_indices`

add FIXME related to constant well-formedness

correct comment in test