Tomasz Miąsko 3b7157dc1a Assert that locals have storage when used ...

The validator in visit_local asserts that local has a stroage when used,
but visit_local is never called so validation is ineffective.

Use super_statement and super_terminator to ensure that locals are visited.

2020-10-31 21:06:29 +01:00

..

src

Assert that locals have storage when used

2020-10-31 21:06:29 +01:00

Cargo.toml

Use tracing spans to trace the entire MIR interp stack

2020-09-28 20:07:57 +02:00