Vytautas Astrauskas b913a4591a Add a test for get_body_with_borrowck_facts.

2021-07-22 21:57:42 +02:00

..

borrow_check

Add a test for get_body_with_borrowck_facts.

2021-07-22 21:57:42 +02: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

Enable compiler consumers to obtain Body with Polonius facts.

2021-07-22 21:57:42 +02:00

shim.rs

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

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