Oli Scherer a8551abd47 Remove an unnecessary variable

2021-07-22 11:20:29 +00:00

..

borrow_check

Remove an unnecessary variable

2021-07-22 11:20:29 +00:00

const_eval

adjustions and cleanup to make Miri build again

2021-07-15 17:14:11 +02:00

dataflow

re-export SwitchIntEdgeEffects

2021-07-04 13:33:22 +02:00

interpret

miri: better ptr-out-of-bounds errors

2021-07-18 10:38:00 +02:00

monomorphize

consistently treat None-tagged pointers as ints; get rid of some deprecated Scalar methods

2021-07-14 18:17:49 +02:00

transform

Iterate through impls only when permitted

2021-07-19 18:50:06 +08:00

util

consistently treat None-tagged pointers as ints; get rid of some deprecated Scalar methods

2021-07-14 18:17:49 +02:00

lib.rs

Support allocation failures when interperting MIR

2021-06-29 19:08:26 -04:00

shim.rs

Prepare mir::Constant for ty::Const only supporting valtrees

2021-03-12 12:43:54 +00:00