Repository navigation

Check other rvalues - #19

Merged

nikomatsakis merged 17 commits into

nikomatsakis:nll-masterfrom

spastorino:check_other_rvalues

Dec 2, 2017

Merged

Check other rvalues#19
nikomatsakis merged 17 commits into
nikomatsakis:nll-masterfrom
spastorino:check_other_rvalues

Commits on Dec 1, 2017
- fix filter to support `&` and `|`
  
  nikomatsakis
  authored and
  spastorino
  committed
  1882201
- rustfmt: MIR typeck
  spastorino
  committed
  063a12a
- Check Repeat Rvalue
  spastorino
  committed
  8eee27a
- fix universal regions to handle constant expressions like `[T; 22]`
  
  nikomatsakis
  authored and
  spastorino
  committed
  2602ade
- Check NullaryOp Rvalue
  spastorino
  committed
  91cc815
- Check Aggregate predicates
  spastorino
  committed
  eb2b486
- Check functions predicates
  spastorino
  committed
  fd2638e
- Add more debug logs
  spastorino
  committed
  0f04c4f
- Restructure a bit check_aggregate_rvalue code
  spastorino
  committed
  18248ba
- Mir typeck Cast for ReifyFnPtr value
  spastorino
  committed
  e8ae4ed
- Mir typeck Cast for UnsafeFnPtr value
  spastorino
  committed
  771d83c
- Extract coerce_closure_fn_ty function
  spastorino
  committed
  ac9bda5
- Mir typeck Cast for ClosureFnPtr value
  spastorino
  committed
  da8f041
- Mir typeck Cast for Unsize value
  spastorino
  committed
  9e93966
- normalize fn sig as part of reification
  nikomatsakis
  committed
  a8d9317
Commits on Dec 2, 2017
- when reifying a safe fn as an unsafe fn ptr, insert two casts
  nikomatsakis
  committed
  da45109
- fix closure tests now that MIR typeck works properly
  nikomatsakis
  committed
  3eb4284