[INFO] crate zdd 0.2.0 is already in cache
[INFO] checking zdd-0.2.0 against master#209b2be09fcaff937480d1fbbe8b31646e361c7a for pr-70917
[INFO] extracting crate zdd 0.2.0 into /workspace/builds/worker-2/source
[INFO] validating manifest of crates.io crate zdd 0.2.0 on toolchain 209b2be09fcaff937480d1fbbe8b31646e361c7a
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking crates.io crate zdd 0.2.0
[INFO] finished tweaking crates.io crate zdd 0.2.0
[INFO] tweaked toml for crates.io crate zdd 0.2.0 written to /workspace/builds/worker-2/source/Cargo.toml
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] [stderr] warning: `panic` setting is ignored for `test` profile
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 2f1aef6fc77193b0b899f1e6e0cfaab1a67f335ebd0b02601ecc97f20cbb2b0b
[INFO] running `"docker" "start" "-a" "2f1aef6fc77193b0b899f1e6e0cfaab1a67f335ebd0b02601ecc97f20cbb2b0b"`
[INFO] [stderr] warning: `panic` setting is ignored for `test` profile
[INFO] [stderr]     Checking hashconsing v0.10.3
[INFO] [stderr]     Checking zdd v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:43:19
[INFO] [stderr]    |
[INFO] [stderr] 43 |         & Zero => try!(
[INFO] [stderr]    |                   ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:53:11
[INFO] [stderr]    |
[INFO] [stderr] 53 |           try!(write!(wrt, "  {} [label=\"{}\"] ; \n", name, lbl)) ;
[INFO] [stderr]    |           ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:54:11
[INFO] [stderr]    |
[INFO] [stderr] 54 |           try!(
[INFO] [stderr]    |           ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:97:5
[INFO] [stderr]    |
[INFO] [stderr] 97 |     try!( write!(wrt, "digraph {{\n\n") ) ;
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:98:5
[INFO] [stderr]    |
[INFO] [stderr] 98 |     try!( write!(wrt, "  graph [bgcolor=black margin=0.0] ;\n") ) ;
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:99:5
[INFO] [stderr]    |
[INFO] [stderr] 99 |     try!( write!(wrt, "  node [style=invisible] ; {} ;\n\n", root) ) ;
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/print.rs:100:5
[INFO] [stderr]     |
[INFO] [stderr] 100 |     try!( write!(wrt,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/print.rs:108:5
[INFO] [stderr]     |
[INFO] [stderr] 108 |     try!( write!(wrt,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/print.rs:111:5
[INFO] [stderr]     |
[INFO] [stderr] 111 |     try!( write!(wrt,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/print.rs:114:5
[INFO] [stderr]     |
[INFO] [stderr] 114 |     try!( write!(wrt, "  node [shape=circle] ;\n") ) ;
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/print.rs:115:5
[INFO] [stderr]     |
[INFO] [stderr] 115 |     try!( graph_print(wrt, self, root, zero) ) ;
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:130:5
[INFO] [stderr]     |
[INFO] [stderr] 130 |     try!( write!(fmt, "{{ ") ) ;
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:134:9
[INFO] [stderr]     |
[INFO] [stderr] 134 |         try!( write!(fmt, "{{}}") ) ;
[INFO] [stderr]     |         ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:136:11
[INFO] [stderr]     |
[INFO] [stderr] 136 |           try!( write!(fmt, ", ") ) ;
[INFO] [stderr]     |           ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:147:43
[INFO] [stderr]     |
[INFO] [stderr] 147 |       if is_fst { is_fst = false } else { try!( write!(fmt, ", ") ) } ;
[INFO] [stderr]     |                                           ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:148:7
[INFO] [stderr]     |
[INFO] [stderr] 148 |       try!( write!(fmt, "{{") ) ;
[INFO] [stderr]     |       ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:151:44
[INFO] [stderr]     |
[INFO] [stderr] 151 |         if is_fst{ is_fst = false } else { try!( write!(fmt, ", ") ) } ;
[INFO] [stderr]     |                                            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:152:9
[INFO] [stderr]     |
[INFO] [stderr] 152 |         try!( write!(fmt, "{}", e) ) ;
[INFO] [stderr]     |         ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:154:7
[INFO] [stderr]     |
[INFO] [stderr] 154 |       try!( write!(fmt, "}}") ) ;
[INFO] [stderr]     |       ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> src/zip.rs:88:1
[INFO] [stderr]    |
[INFO] [stderr] 88 | /** Zipper for `count`. */
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_doc_comments)]` on by default
[INFO] [stderr]    = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> src/zip.rs:93:1
[INFO] [stderr]    |
[INFO] [stderr] 93 | /** Zipper for `offset`. */
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]    |
[INFO] [stderr]    = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> src/zip.rs:99:1
[INFO] [stderr]    |
[INFO] [stderr] 99 | /** Zipper for `onset`. */
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]    |
[INFO] [stderr]    = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]    --> src/zip.rs:105:1
[INFO] [stderr]     |
[INFO] [stderr] 105 | /** Zipper for `change`. */
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]     |
[INFO] [stderr]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]    --> src/zip.rs:112:1
[INFO] [stderr]     |
[INFO] [stderr] 112 | /** Zipper for `union`. */
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]     |
[INFO] [stderr]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]    --> src/zip.rs:118:1
[INFO] [stderr]     |
[INFO] [stderr] 118 | /** Zipper for `inter`. */
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]     |
[INFO] [stderr]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]    --> src/zip.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | /** Zipper for `minus`. */
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]     |
[INFO] [stderr]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]    --> src/zip.rs:131:1
[INFO] [stderr]     |
[INFO] [stderr] 131 | /** Zipper for `subset`. */
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]     |
[INFO] [stderr]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/print.rs:23:32
[INFO] [stderr]    |
[INFO] [stderr] 23 |   fn write_as_gv(& self, & mut io::Write) -> io::Result<()> ;
[INFO] [stderr]    |                                ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/print.rs:28:14
[INFO] [stderr]    |
[INFO] [stderr] 28 |   wrt: & mut io::Write,
[INFO] [stderr]    |              ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/print.rs:94:37
[INFO] [stderr]    |
[INFO] [stderr] 94 |   fn write_as_gv(& self, wrt: & mut io::Write) -> io::Result<()> {
[INFO] [stderr]    |                                     ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/factory.rs:135:19
[INFO] [stderr]     |
[INFO] [stderr] 135 |   consign: Mutex< HashConsign<ZddTree<Label>> >,
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn HashConsign<ZddTree<Label>>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/wrapped.rs:294:37
[INFO] [stderr]     |
[INFO] [stderr] 294 |   fn write_as_gv(& self, wrt: & mut io::Write) -> io::Result<()> {
[INFO] [stderr]     |                                     ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/lib.rs:171:3
[INFO] [stderr]     |
[INFO] [stderr] 171 |   #[inline(always)]
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_attributes)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/lib.rs:174:3
[INFO] [stderr]     |
[INFO] [stderr] 174 |   #[inline(always)]
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/lib.rs:177:3
[INFO] [stderr]     |
[INFO] [stderr] 177 |   #[inline(always)]
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/lib.rs:182:3
[INFO] [stderr]     |
[INFO] [stderr] 182 |   #[inline(always)]
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]   --> src/zip.rs:50:3
[INFO] [stderr]    |
[INFO] [stderr] 50 |   #[inline(always)]
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]   --> src/zip.rs:52:3
[INFO] [stderr]    |
[INFO] [stderr] 52 |   #[inline(always)]
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/zip.rs:219:5
[INFO] [stderr]     |
[INFO] [stderr] 219 |     #[inline(always)]
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/zip.rs:223:5
[INFO] [stderr]     |
[INFO] [stderr] 223 |     #[inline(always)]
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/zip.rs:282:5
[INFO] [stderr]     |
[INFO] [stderr] 282 |     #[inline(always)]
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/zip.rs:286:5
[INFO] [stderr]     |
[INFO] [stderr] 286 |     #[inline(always)]
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:43:19
[INFO] [stderr]    |
[INFO] [stderr] 43 |         & Zero => try!(
[INFO] [stderr]    |                   ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:53:11
[INFO] [stderr]    |
[INFO] [stderr] 53 |           try!(write!(wrt, "  {} [label=\"{}\"] ; \n", name, lbl)) ;
[INFO] [stderr]    |           ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:54:11
[INFO] [stderr]    |
[INFO] [stderr] 54 |           try!(
[INFO] [stderr]    |           ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:97:5
[INFO] [stderr]    |
[INFO] [stderr] 97 |     try!( write!(wrt, "digraph {{\n\n") ) ;
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:98:5
[INFO] [stderr]    |
[INFO] [stderr] 98 |     try!( write!(wrt, "  graph [bgcolor=black margin=0.0] ;\n") ) ;
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]   --> src/print.rs:99:5
[INFO] [stderr]    |
[INFO] [stderr] 99 |     try!( write!(wrt, "  node [style=invisible] ; {} ;\n\n", root) ) ;
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/print.rs:100:5
[INFO] [stderr]     |
[INFO] [stderr] 100 |     try!( write!(wrt,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/print.rs:108:5
[INFO] [stderr]     |
[INFO] [stderr] 108 |     try!( write!(wrt,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/print.rs:111:5
[INFO] [stderr]     |
[INFO] [stderr] 111 |     try!( write!(wrt,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/print.rs:114:5
[INFO] [stderr]     |
[INFO] [stderr] 114 |     try!( write!(wrt, "  node [shape=circle] ;\n") ) ;
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/print.rs:115:5
[INFO] [stderr]     |
[INFO] [stderr] 115 |     try!( graph_print(wrt, self, root, zero) ) ;
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:130:5
[INFO] [stderr]     |
[INFO] [stderr] 130 |     try!( write!(fmt, "{{ ") ) ;
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:134:9
[INFO] [stderr]     |
[INFO] [stderr] 134 |         try!( write!(fmt, "{{}}") ) ;
[INFO] [stderr]     |         ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:136:11
[INFO] [stderr]     |
[INFO] [stderr] 136 |           try!( write!(fmt, ", ") ) ;
[INFO] [stderr]     |           ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:147:43
[INFO] [stderr]     |
[INFO] [stderr] 147 |       if is_fst { is_fst = false } else { try!( write!(fmt, ", ") ) } ;
[INFO] [stderr]     |                                           ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:148:7
[INFO] [stderr]     |
[INFO] [stderr] 148 |       try!( write!(fmt, "{{") ) ;
[INFO] [stderr]     |       ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:151:44
[INFO] [stderr]     |
[INFO] [stderr] 151 |         if is_fst{ is_fst = false } else { try!( write!(fmt, ", ") ) } ;
[INFO] [stderr]     |                                            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:152:9
[INFO] [stderr]     |
[INFO] [stderr] 152 |         try!( write!(fmt, "{}", e) ) ;
[INFO] [stderr]     |         ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'try': use the `?` operator instead
[INFO] [stderr]    --> src/lib.rs:154:7
[INFO] [stderr]     |
[INFO] [stderr] 154 |       try!( write!(fmt, "}}") ) ;
[INFO] [stderr]     |       ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> src/zip.rs:88:1
[INFO] [stderr]    |
[INFO] [stderr] 88 | /** Zipper for `count`. */
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_doc_comments)]` on by default
[INFO] [stderr]    = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> src/zip.rs:93:1
[INFO] [stderr]    |
[INFO] [stderr] 93 | /** Zipper for `offset`. */
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]    |
[INFO] [stderr]    = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> src/zip.rs:99:1
[INFO] [stderr]    |
[INFO] [stderr] 99 | /** Zipper for `onset`. */
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]    |
[INFO] [stderr]    = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]    --> src/zip.rs:105:1
[INFO] [stderr]     |
[INFO] [stderr] 105 | /** Zipper for `change`. */
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]     |
[INFO] [stderr]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]    --> src/zip.rs:112:1
[INFO] [stderr]     |
[INFO] [stderr] 112 | /** Zipper for `union`. */
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]     |
[INFO] [stderr]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]    --> src/zip.rs:118:1
[INFO] [stderr]     |
[INFO] [stderr] 118 | /** Zipper for `inter`. */
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]     |
[INFO] [stderr]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]    --> src/zip.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | /** Zipper for `minus`. */
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]     |
[INFO] [stderr]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]    --> src/zip.rs:131:1
[INFO] [stderr]     |
[INFO] [stderr] 131 | /** Zipper for `subset`. */
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros
[INFO] [stderr]     |
[INFO] [stderr]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/print.rs:23:32
[INFO] [stderr]    |
[INFO] [stderr] 23 |   fn write_as_gv(& self, & mut io::Write) -> io::Result<()> ;
[INFO] [stderr]    |                                ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/print.rs:28:14
[INFO] [stderr]    |
[INFO] [stderr] 28 |   wrt: & mut io::Write,
[INFO] [stderr]    |              ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/print.rs:94:37
[INFO] [stderr]    |
[INFO] [stderr] 94 |   fn write_as_gv(& self, wrt: & mut io::Write) -> io::Result<()> {
[INFO] [stderr]    |                                     ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/factory.rs:135:19
[INFO] [stderr]     |
[INFO] [stderr] 135 |   consign: Mutex< HashConsign<ZddTree<Label>> >,
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn HashConsign<ZddTree<Label>>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/wrapped.rs:294:37
[INFO] [stderr]     |
[INFO] [stderr] 294 |   fn write_as_gv(& self, wrt: & mut io::Write) -> io::Result<()> {
[INFO] [stderr]     |                                     ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/lib.rs:171:3
[INFO] [stderr]     |
[INFO] [stderr] 171 |   #[inline(always)]
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_attributes)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/lib.rs:174:3
[INFO] [stderr]     |
[INFO] [stderr] 174 |   #[inline(always)]
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/lib.rs:177:3
[INFO] [stderr]     |
[INFO] [stderr] 177 |   #[inline(always)]
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/lib.rs:182:3
[INFO] [stderr]     |
[INFO] [stderr] 182 |   #[inline(always)]
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]   --> src/zip.rs:50:3
[INFO] [stderr]    |
[INFO] [stderr] 50 |   #[inline(always)]
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]   --> src/zip.rs:52:3
[INFO] [stderr]    |
[INFO] [stderr] 52 |   #[inline(always)]
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/zip.rs:219:5
[INFO] [stderr]     |
[INFO] [stderr] 219 |     #[inline(always)]
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/zip.rs:223:5
[INFO] [stderr]     |
[INFO] [stderr] 223 |     #[inline(always)]
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/zip.rs:282:5
[INFO] [stderr]     |
[INFO] [stderr] 282 |     #[inline(always)]
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `#[inline]` is ignored on function prototypes
[INFO] [stderr]    --> src/zip.rs:286:5
[INFO] [stderr]     |
[INFO] [stderr] 286 |     #[inline(always)]
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the size for values of type `(dyn hashconsing::HashConsign<ZddTree<Label>> + 'static)` cannot be known at compilation time
[INFO] [stderr]    --> src/factory.rs:135:3
[INFO] [stderr]     |
[INFO] [stderr] 135 |   consign: Mutex< HashConsign<ZddTree<Label>> >,
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
[INFO] [stderr]     |
[INFO] [stderr]     = help: within `std::sync::Mutex<(dyn hashconsing::HashConsign<ZddTree<Label>> + 'static)>`, the trait `std::marker::Sized` is not implemented for `(dyn hashconsing::HashConsign<ZddTree<Label>> + 'static)`
[INFO] [stderr]     = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
[INFO] [stderr]     = note: required because it appears within the type `std::sync::Mutex<(dyn hashconsing::HashConsign<ZddTree<Label>> + 'static)>`
[INFO] [stderr]     = note: only the last field of a struct may have a dynamically sized type
[INFO] [stderr] 
[INFO] [stderr] error[E0038]: the trait `hashconsing::HashConsign` cannot be made into an object
[INFO] [stderr]    --> src/factory.rs:135:3
[INFO] [stderr]     |
[INFO] [stderr] 135 |   consign: Mutex< HashConsign<ZddTree<Label>> >,
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `hashconsing::HashConsign` cannot be made into an object
[INFO] [stderr]     |
[INFO] [stderr]     = note: the trait cannot be made into an object because it requires `Self: Sized`
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the size for values of type `(dyn hashconsing::HashConsign<ZddTree<Label>> + 'static)` cannot be known at compilation time
[INFO] [stderr]    --> src/factory.rs:135:3
[INFO] [stderr]     |
[INFO] [stderr] 135 |   consign: Mutex< HashConsign<ZddTree<Label>> >,
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
[INFO] [stderr]     |
[INFO] [stderr]     = help: within `std::sync::Mutex<(dyn hashconsing::HashConsign<ZddTree<Label>> + 'static)>`, the trait `std::marker::Sized` is not implemented for `(dyn hashconsing::HashConsign<ZddTree<Label>> + 'static)`
[INFO] [stderr]     = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
[INFO] [stderr]     = note: required because it appears within the type `std::sync::Mutex<(dyn hashconsing::HashConsign<ZddTree<Label>> + 'static)>`
[INFO] [stderr]     = note: only the last field of a struct may have a dynamically sized type
[INFO] [stderr] 
[INFO] [stderr] error[E0038]: the trait `hashconsing::HashConsign` cannot be made into an object
[INFO] [stderr]    --> src/factory.rs:135:3
[INFO] [stderr]     |
[INFO] [stderr] 135 |   consign: Mutex< HashConsign<ZddTree<Label>> >,
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `hashconsing::HashConsign` cannot be made into an object
[INFO] [stderr]     |
[INFO] [stderr]     = note: the trait cannot be made into an object because it requires `Self: Sized`
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 2 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0038, E0277.
[INFO] [stderr] For more information about an error, try `rustc --explain E0038`.
[INFO] [stderr] error: aborting due to 2 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0038, E0277.
[INFO] [stderr] For more information about an error, try `rustc --explain E0038`.
[INFO] [stderr] error: could not compile `zdd`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `zdd`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "2f1aef6fc77193b0b899f1e6e0cfaab1a67f335ebd0b02601ecc97f20cbb2b0b"`
[INFO] running `"docker" "rm" "-f" "2f1aef6fc77193b0b899f1e6e0cfaab1a67f335ebd0b02601ecc97f20cbb2b0b"`
[INFO] [stdout] 2f1aef6fc77193b0b899f1e6e0cfaab1a67f335ebd0b02601ecc97f20cbb2b0b
