Build failed. If you want to re-trigger a documentation build, you can do it here. You can find more information on docs.rs builds documentation on the builds page.
# rustc version rustc 1.19.0-dev (28a93c1f4 2017-05-31)
# docs.rs version cratesfyi 0.4.0-dev (bedcc0c 2017-06-01)
# build log Updating registry `https://github.com/rust-lang/crates.io-index` Downloading rustproof v0.1.0 Downloading rustproof-libsmt v0.1.0 Fresh lalrpop-util v0.11.0 Fresh fixedbitset v0.1.6 Fresh winapi-build v0.1.1 Fresh log v0.3.8 Fresh winapi v0.2.8 Fresh regex-syntax v0.3.9 Fresh utf8-ranges v0.1.3 Fresh libc v0.2.23 Fresh petgraph v0.2.9 Fresh memchr v0.1.11 Fresh aho-corasick v0.5.3 Fresh kernel32-sys v0.2.2 Fresh thread-id v2.0.0 Fresh thread_local v0.2.7 Fresh regex v0.1.80 Compiling rustproof-libsmt v0.1.0 Fresh env_logger v0.3.5 Running `rustc --crate-name rustproof_libsmt .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-libsmt-0.1.0/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=42c60ffe2496a27c -C extra-filename=-42c60ffe2496a27c --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern regex=/home/cratesfyi/cratesfyi/debug/deps/libregex-dc7fbac3abb8388f.rlib --extern-version regex=regex,0.1.80 --extern petgraph=/home/cratesfyi/cratesfyi/debug/deps/libpetgraph-51ccc04441009019.rlib --extern-version petgraph=petgraph,0.2.9 --cap-lints allow` Documenting rustproof v0.1.0 Running `rustdoc --crate-name rustproof .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs -o /home/cratesfyi/cratesfyi/doc -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern petgraph=/home/cratesfyi/cratesfyi/debug/deps/libpetgraph-51ccc04441009019.rlib --extern-version petgraph=petgraph,0.2.9 --extern env_logger=/home/cratesfyi/cratesfyi/debug/deps/libenv_logger-ce278d65fff484a8.rlib --extern-version env_logger=env_logger,0.3.5 --extern rustproof_libsmt=/home/cratesfyi/cratesfyi/debug/deps/librustproof_libsmt-42c60ffe2496a27c.rlib --extern-version rustproof_libsmt=rustproof-libsmt,0.1.0 --extern lalrpop_util=/home/cratesfyi/cratesfyi/debug/deps/liblalrpop_util-050551939f99f40d.rlib --extern-version lalrpop_util=lalrpop-util,0.11.0` error[E0432]: unresolved import `rustc::mir::repr::Mir` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:46:24 | 46 | use rustc::mir::repr::{Mir, BasicBlock, BasicBlockData, Arg, Temp, Var, ArgDecl, TempDecl, VarDecl}; | ^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::repr::BasicBlock` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:46:29 | 46 | use rustc::mir::repr::{Mir, BasicBlock, BasicBlockData, Arg, Temp, Var, ArgDecl, TempDecl, VarDecl}; | ^^^^^^^^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::repr::BasicBlockData` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:46:41 | 46 | use rustc::mir::repr::{Mir, BasicBlock, BasicBlockData, Arg, Temp, Var, ArgDecl, TempDecl, VarDecl}; | ^^^^^^^^^^^^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::repr::Arg` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:46:57 | 46 | use rustc::mir::repr::{Mir, BasicBlock, BasicBlockData, Arg, Temp, Var, ArgDecl, TempDecl, VarDecl}; | ^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::repr::Temp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:46:62 | 46 | use rustc::mir::repr::{Mir, BasicBlock, BasicBlockData, Arg, Temp, Var, ArgDecl, TempDecl, VarDecl}; | ^^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::repr::Var` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:46:68 | 46 | use rustc::mir::repr::{Mir, BasicBlock, BasicBlockData, Arg, Temp, Var, ArgDecl, TempDecl, VarDecl}; | ^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::repr::ArgDecl` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:46:73 | 46 | use rustc::mir::repr::{Mir, BasicBlock, BasicBlockData, Arg, Temp, Var, ArgDecl, TempDecl, VarDecl}; | ^^^^^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::repr::TempDecl` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:46:82 | 46 | use rustc::mir::repr::{Mir, BasicBlock, BasicBlockData, Arg, Temp, Var, ArgDecl, TempDecl, VarDecl}; | ^^^^^^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::repr::VarDecl` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:46:92 | 46 | use rustc::mir::repr::{Mir, BasicBlock, BasicBlockData, Arg, Temp, Var, ArgDecl, TempDecl, VarDecl}; | ^^^^^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::transform::Pass` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:47:29 | 47 | use rustc::mir::transform::{Pass, MirPass, MirSource}; | ^^^^ no `Pass` in `mir::transform` error[E0432]: unresolved import `rustc::ty::FnOutput` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:48:25 | 48 | use rustc::ty::{TyCtxt, FnOutput}; | ^^^^^^^^ no `FnOutput` in `ty` error[E0432]: unresolved import `syntax::parse::token::InternedString` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:50:5 | 50 | use syntax::parse::token::InternedString; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `InternedString` in `parse::token` error[E0432]: unresolved import `syntax::ast::Attribute_` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/parser/mod.rs:17:33 | 17 | use syntax::ast::{MetaItemKind, Attribute_}; | ^^^^^^^^^^ no `Attribute_` in `ast`. Did you mean to use `Attribute`? error[E0432]: unresolved import `rustc::mir::repr::*` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:17:5 | 17 | use rustc::mir::repr::*; | ^^^^^^^^^^^^^^^^^^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::repr::*` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:16:5 | 16 | use rustc::mir::repr::*; | ^^^^^^^^^^^^^^^^^^^^ Could not find `repr` in `mir` error[E0412]: cannot find type `BinOp` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:23:31 | 23 | binop: &BinOp, | ^^^^^ not found in this scope | help: possible candidates are found in other modules, you can import them into scope | use rustc::hir::BinOp; | use rustc::mir::BinOp; | use syntax::ast::BinOp; error[E0412]: cannot find type `BinOp` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:47:28 | 47 | fn signed_overflow(binop: &BinOp, size: u8, lvalue: &Expression, rvalue: &Expression) | ^^^^^ not found in this scope | help: possible candidates are found in other modules, you can import them into scope | use rustc::hir::BinOp; | use rustc::mir::BinOp; | use syntax::ast::BinOp; error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:50:9 | 50 | BinOp::Add => signed_add(size, lvalue, rvalue), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:51:9 | 51 | BinOp::Mul => signed_mul(lvalue, rvalue), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:52:9 | 52 | BinOp::Sub => signed_sub(size, lvalue, rvalue), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:53:9 | 53 | BinOp::Div => signed_div(size, lvalue, rvalue), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:54:9 | 54 | BinOp::Rem => signed_div(size, lvalue, rvalue), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:55:9 | 55 | BinOp::Shl => unimplemented!(), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:56:9 | 56 | BinOp::Shr => unimplemented!(), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:57:9 | 57 | BinOp::BitOr => unimplemented!(), | ^^^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:58:9 | 58 | BinOp::BitAnd => unimplemented!(), | ^^^^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:59:9 | 59 | BinOp::BitXor => unimplemented!(), | ^^^^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:60:9 | 60 | BinOp::Lt => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:61:9 | 61 | BinOp::Le => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:62:9 | 62 | BinOp::Gt => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:63:9 | 63 | BinOp::Ge => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:64:9 | 64 | BinOp::Eq => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:65:9 | 65 | BinOp::Ne => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0412]: cannot find type `BinOp` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:484:30 | 484 | fn unsigned_overflow(binop: &BinOp, lvalue: &Expression, rvalue: &Expression) -> Expression { | ^^^^^ not found in this scope | help: possible candidates are found in other modules, you can import them into scope | use rustc::hir::BinOp; | use rustc::mir::BinOp; | use syntax::ast::BinOp; error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:486:9 | 486 | BinOp::Add => unsigned_add(lvalue, rvalue), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:487:9 | 487 | BinOp::Sub => unsigned_sub(lvalue, rvalue), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:488:9 | 488 | BinOp::Mul => unsigned_mul(lvalue, rvalue), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:489:9 | 489 | BinOp::Div => unreachable!(), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:490:9 | 490 | BinOp::Rem => unreachable!(), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:491:9 | 491 | BinOp::Shl => unimplemented!(), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:492:9 | 492 | BinOp::Shr => unimplemented!(), | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:493:9 | 493 | BinOp::BitOr => unimplemented!(), | ^^^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:494:9 | 494 | BinOp::BitAnd => unimplemented!(), | ^^^^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:495:9 | 495 | BinOp::BitXor => unimplemented!(), | ^^^^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:496:9 | 496 | BinOp::Lt => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:497:9 | 497 | BinOp::Le => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:498:9 | 498 | BinOp::Gt => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:499:9 | 499 | BinOp::Ge => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:500:9 | 500 | BinOp::Eq => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:501:9 | 501 | BinOp::Ne => unimplemented!(), | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:45:9 | 45 | TerminatorKind::Assert{target, ..} | ^^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:46:11 | 46 | | TerminatorKind::Goto{target} => { | ^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:50:9 | 50 | TerminatorKind::Return => { | ^^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:55:9 | 55 | TerminatorKind::Call{func, ..} => { | ^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0433]: failed to resolve. Use of undeclared type or module `Operand` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:59:17 | 59 | Operand::Constant (ref c) => { | ^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Operand` error[E0433]: failed to resolve. Use of undeclared type or module `Operand` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:66:17 | 66 | Operand::Consume (..) => unimplemented!(), | ^^^^^^^^^^^^^^^^ Use of undeclared type or module `Operand` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:74:9 | 74 | TerminatorKind::If{cond, targets} => { | ^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0433]: failed to resolve. Use of undeclared type or module `Operand` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:81:17 | 81 | Operand::Constant (ref constant) => { | ^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Operand` error[E0433]: failed to resolve. Use of undeclared type or module `Literal` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:83:25 | 83 | Literal::Value {ref value} => { | ^^^^^^^^^^^^^^ Use of undeclared type or module `Literal` error[E0433]: failed to resolve. Use of undeclared type or module `Operand` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:94:17 | 94 | Operand::Consume(c) => { Expression::VariableMapping(gen_lvalue(c, data)) }, | ^^^^^^^^^^^^^^^^ Use of undeclared type or module `Operand` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:118:9 | 118 | TerminatorKind::DropAndReplace{..} => unimplemented!(), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:120:9 | 120 | TerminatorKind::Drop{..} => unimplemented!(), | ^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:121:9 | 121 | TerminatorKind::Unreachable => unimplemented!(), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:122:9 | 122 | TerminatorKind::Resume => unimplemented!(), | ^^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:124:9 | 124 | TerminatorKind::Switch{..} => unimplemented!(), | ^^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0433]: failed to resolve. Use of undeclared type or module `TerminatorKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:126:9 | 126 | TerminatorKind::SwitchInt{..} => unimplemented!(), | ^^^^^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `TerminatorKind` error[E0412]: cannot find type `Statement` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:165:39 | 165 | fn gen_stmt(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool) | ^^^^^^^^^ not found in this scope | help: possible candidate is found in another module, you can import it into scope | use rustc::mir::Statement; error[E0412]: cannot find type `Lvalue` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:172:24 | 172 | let lvalue: Option<Lvalue>; | ^^^^^^ not found in this scope | help: possible candidate is found in another module, you can import it into scope | use rustc::mir::Lvalue; error[E0412]: cannot find type `Rvalue` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:173:24 | 173 | let rvalue: Option<Rvalue>; | ^^^^^^ not found in this scope | help: possible candidate is found in another module, you can import it into scope | use rustc::mir::Rvalue; error[E0433]: failed to resolve. Use of undeclared type or module `StatementKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:177:9 | 177 | StatementKind::Assign(ref lval, ref rval) => { | ^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `StatementKind` error[E0433]: failed to resolve. Use of undeclared type or module `Rvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:189:9 | 189 | Rvalue::CheckedBinaryOp(ref binop, ref loperand, ref roperand) => { | ^^^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Rvalue` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:193:17 | 193 | BinOp::Add => { | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:198:17 | 198 | BinOp::Sub => { | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:203:17 | 203 | BinOp::Mul => { | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:208:17 | 208 | BinOp::Div => { | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:217:17 | 217 | BinOp::Rem => { | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:226:17 | 226 | BinOp::Shl => BinaryOperator::BitwiseLeftShift, | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:227:17 | 227 | BinOp::Shr => BinaryOperator::BitwiseRightShift, | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `Rvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:241:9 | 241 | Rvalue::BinaryOp(ref binop, ref lval, ref rval) => { | ^^^^^^^^^^^^^^^^ Use of undeclared type or module `Rvalue` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:245:17 | 245 | BinOp::Add => { | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:250:17 | 250 | BinOp::Sub => { | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:255:17 | 255 | BinOp::Mul => { | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:260:17 | 260 | BinOp::Div => { | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:269:17 | 269 | BinOp::Rem => { | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:278:17 | 278 | BinOp::BitOr => BinaryOperator::BitwiseOr, | ^^^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:279:17 | 279 | BinOp::BitAnd => BinaryOperator::BitwiseAnd, | ^^^^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:280:17 | 280 | BinOp::BitXor => BinaryOperator::BitwiseXor, | ^^^^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:281:17 | 281 | BinOp::Shl => BinaryOperator::BitwiseLeftShift, | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:282:17 | 282 | BinOp::Shr => BinaryOperator::BitwiseRightShift, | ^^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:283:17 | 283 | BinOp::Lt => BinaryOperator::LessThan, | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:284:17 | 284 | BinOp::Le => BinaryOperator::LessThanOrEqual, | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:285:17 | 285 | BinOp::Gt => BinaryOperator::GreaterThan, | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:286:17 | 286 | BinOp::Ge => BinaryOperator::GreaterThanOrEqual, | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:287:17 | 287 | BinOp::Eq => BinaryOperator::Equal, | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `BinOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:288:17 | 288 | BinOp::Ne => BinaryOperator::NotEqual, | ^^^^^^^^^ Use of undeclared type or module `BinOp` error[E0433]: failed to resolve. Use of undeclared type or module `Rvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:298:9 | 298 | Rvalue::UnaryOp(ref unop, ref val) => { | ^^^^^^^^^^^^^^^ Use of undeclared type or module `Rvalue` error[E0433]: failed to resolve. Use of undeclared type or module `UnOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:301:17 | 301 | UnOp::Not => { | ^^^^^^^^^ Use of undeclared type or module `UnOp` error[E0433]: failed to resolve. Use of undeclared type or module `UnOp` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:308:17 | 308 | UnOp::Neg => UnaryOperator::Negation, | ^^^^^^^^^ Use of undeclared type or module `UnOp` error[E0433]: failed to resolve. Use of undeclared type or module `Rvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:317:9 | 317 | Rvalue::Use(ref operand) => { | ^^^^^^^^^^^ Use of undeclared type or module `Rvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Rvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:321:9 | 321 | Rvalue::Aggregate(ref ag_kind, ref vec_operand) => { | ^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Rvalue` error[E0433]: failed to resolve. Use of undeclared type or module `AggregateKind` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:323:17 | 323 | AggregateKind::Tuple => { | ^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `AggregateKind` error[E0433]: failed to resolve. Use of undeclared type or module `Rvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:338:9 | 338 | Rvalue::Cast(..) => { | ^^^^^^^^^^^^ Use of undeclared type or module `Rvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Rvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:343:9 | 343 | Rvalue::Ref(..) => { | ^^^^^^^^^^^ Use of undeclared type or module `Rvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Rvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:347:9 | 347 | Rvalue::Box(..) => unimplemented!(), | ^^^^^^^^^^^ Use of undeclared type or module `Rvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Rvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:348:9 | 348 | Rvalue::Len(..) => unimplemented!(), | ^^^^^^^^^^^ Use of undeclared type or module `Rvalue` error[E0412]: cannot find type `Operand` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:372:21 | 372 | fn gen_ty(operand: &Operand, data: &mut MirData) -> Types { | ^^^^^^^ not found in this scope | help: possible candidate is found in another module, you can import it into scope | use rustc::mir::Operand; error[E0433]: failed to resolve. Use of undeclared type or module `Operand` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:374:9 | 374 | Operand::Constant(ref constant) => constant.ty.to_string(), | ^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Operand` error[E0433]: failed to resolve. Use of undeclared type or module `Operand` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:375:9 | 375 | Operand::Consume(ref lvalue) => { | ^^^^^^^^^^^^^^^^ Use of undeclared type or module `Operand` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:378:17 | 378 | Lvalue::Arg(ref arg) => data.arg_data[arg.index()].ty.to_string(), | ^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:380:17 | 380 | Lvalue::Temp(ref temp) => data.temp_data[temp.index()].ty.to_string(), | ^^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:382:17 | 382 | Lvalue::Var(ref var) => data.var_data[var.index()].ty.to_string(), | ^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0412]: cannot find type `Lvalue` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:458:23 | 458 | fn gen_lvalue(lvalue: Lvalue, data: &mut MirData) -> VariableMappingData { | ^^^^^^ not found in this scope | help: possible candidate is found in another module, you can import it into scope | use rustc::mir::Lvalue; error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:461:9 | 461 | Lvalue::Arg(ref arg) => { | ^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:469:9 | 469 | Lvalue::Temp(ref temp) => { | ^^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:483:9 | 483 | Lvalue::Var(ref var) => { | ^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:491:9 | 491 | Lvalue::ReturnPointer => { | ^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:498:9 | 498 | Lvalue::Projection(pro) => { | ^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `ProjectionElem` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:503:17 | 503 | ProjectionElem::Index(_) => unimplemented!(), | ^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `ProjectionElem` error[E0433]: failed to resolve. Use of undeclared type or module `ProjectionElem` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:505:17 | 505 | ProjectionElem::Field(ref field, _) => (field.index() as i32).to_string(), | ^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `ProjectionElem` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:515:17 | 515 | Lvalue::Arg(ref arg) => { | ^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:521:17 | 521 | Lvalue::Temp(ref temp) => { | ^^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:531:17 | 531 | Lvalue::Var(ref var) => { | ^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:542:17 | 542 | Lvalue::ReturnPointer => unimplemented!(), | ^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:544:17 | 544 | Lvalue::Static(_) => unimplemented!(), | ^^^^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `Lvalue` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:546:17 | 546 | Lvalue::Projection(_) => unimplemented!(), | ^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Lvalue` error[E0433]: failed to resolve. Use of undeclared type or module `ProjectionElem` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:553:17 | 553 | ProjectionElem::Field(ref field, _) => (field.index() as i32).to_string(), | ^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `ProjectionElem` error[E0433]: failed to resolve. Use of undeclared type or module `ProjectionElem` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:555:17 | 555 | ProjectionElem::Index(_) => unimplemented!(), | ^^^^^^^^^^^^^^^^^^^^^ Use of undeclared type or module `ProjectionElem` error[E0412]: cannot find type `Operand` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:582:29 | 582 | fn gen_expression(operand: &Operand, data: &mut MirData) -> Expression { | ^^^^^^^ not found in this scope | help: possible candidate is found in another module, you can import it into scope | use rustc::mir::Operand; error[E0433]: failed to resolve. Use of undeclared type or module `Operand` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:585:9 | 585 | Operand::Consume (ref l) => { | ^^^^^^^^^^^^^^^^ Use of undeclared type or module `Operand` error[E0433]: failed to resolve. Use of undeclared type or module `Operand` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:589:9 | 589 | Operand::Constant (ref c) => { | ^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Operand` error[E0433]: failed to resolve. Use of undeclared type or module `Literal` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:591:17 | 591 | Literal::Value {ref value} => { | ^^^^^^^^^^^^^^ Use of undeclared type or module `Literal` error[E0433]: failed to resolve. Use of undeclared type or module `Literal` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:653:17 | 653 | Literal::Item {..} => unimplemented!(), | ^^^^^^^^^^^^^ Use of undeclared type or module `Literal` error[E0433]: failed to resolve. Use of undeclared type or module `Literal` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:655:17 | 655 | Literal::Promoted {..} => unimplemented!(), | ^^^^^^^^^^^^^^^^^ Use of undeclared type or module `Literal` error: cannot continue compilation due to previous error thread 'main' panicked at 'ChainedError { error: Could not document `rustproof`., cause: process didn't exit successfully: `rustdoc --crate-name rustproof .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs -o /home/cratesfyi/cratesfyi/doc -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern petgraph=/home/cratesfyi/cratesfyi/debug/deps/libpetgraph-51ccc04441009019.rlib --extern-version petgraph=petgraph,0.2.9 --extern env_logger=/home/cratesfyi/cratesfyi/debug/deps/libenv_logger-ce278d65fff484a8.rlib --extern-version env_logger=env_logger,0.3.5 --extern rustproof_libsmt=/home/cratesfyi/cratesfyi/debug/deps/librustproof_libsmt-42c60ffe2496a27c.rlib --extern-version rustproof_libsmt=rustproof-libsmt,0.1.0 --extern lalrpop_util=/home/cratesfyi/cratesfyi/debug/deps/liblalrpop_util-050551939f99f40d.rlib --extern-version lalrpop_util=lalrpop-util,0.11.0` (exit code: 101) }', src/bin/cratesfyi.rs:136 note: Run with `RUST_BACKTRACE=1` for a backtrace.