attempted to read from stolen value: rustc_middle::thir::Thir

[Kixunil]

I tired running creusot from master (eb3d2c0) and got this error:

thread 'rustc' panicked at creusot/src/ctx.rs:395:25:
attempted to read from stolen value: rustc_middle::thir::Thir

[xldenis]

can you provide the program you attempted to run it on and the specific command you used?

[Kixunil]

I did it in a disposable VM which I already killed :) But the code is too large anyway.

Basically I was trying to prove that this type is correct: https://github.com/rust-bitcoin/rust-bitcoin/blob/4544f5d3c2b7b3babac499a25f1053064636d7b2/bitcoin/src/pow.rs#L322

I added ensures(result.to_be_bytes() == a) on top of from_be_bytes and analogous for LE, moved build.rs to avoid failures and ran cargo creusot.