[INFO] crate zdd 0.2.0 is already in cache
[INFO] extracting crate zdd 0.2.0 into work/ex/pr-62507/sources/master#78ca1bda3522b14bc0336bc01dd1d49fdba2cda7/reg/zdd/0.2.0
[INFO] extracting crate zdd 0.2.0 into work/ex/pr-62507/sources/try#18481b65f318e0b4b20c0fc61340054701719d6c/reg/zdd/0.2.0
[INFO] validating manifest of zdd-0.2.0 on toolchain master#78ca1bda3522b14bc0336bc01dd1d49fdba2cda7
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+78ca1bda3522b14bc0336bc01dd1d49fdba2cda7-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of zdd-0.2.0 on toolchain try#18481b65f318e0b4b20c0fc61340054701719d6c
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+18481b65f318e0b4b20c0fc61340054701719d6c-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing zdd-0.2.0
[INFO] finished frobbing zdd-0.2.0
[INFO] frobbed toml for zdd-0.2.0 written to work/ex/pr-62507/sources/master#78ca1bda3522b14bc0336bc01dd1d49fdba2cda7/reg/zdd/0.2.0/Cargo.toml
[INFO] started frobbing zdd-0.2.0
[INFO] finished frobbing zdd-0.2.0
[INFO] frobbed toml for zdd-0.2.0 written to work/ex/pr-62507/sources/try#18481b65f318e0b4b20c0fc61340054701719d6c/reg/zdd/0.2.0/Cargo.toml
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+78ca1bda3522b14bc0336bc01dd1d49fdba2cda7-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+18481b65f318e0b4b20c0fc61340054701719d6c-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+78ca1bda3522b14bc0336bc01dd1d49fdba2cda7-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+18481b65f318e0b4b20c0fc61340054701719d6c-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] checking zdd-0.2.0 against master#78ca1bda3522b14bc0336bc01dd1d49fdba2cda7 for pr-62507
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-62507/worker-6/master#78ca1bda3522b14bc0336bc01dd1d49fdba2cda7:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-62507/sources/master#78ca1bda3522b14bc0336bc01dd1d49fdba2cda7/reg/zdd/0.2.0:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+78ca1bda3522b14bc0336bc01dd1d49fdba2cda7-alt" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 4f2becf27eb177db71c8f75fa2a8d92036dc3bc9b4345002bcb51a2dfd990c04
[INFO] running `"docker" "start" "-a" "4f2becf27eb177db71c8f75fa2a8d92036dc3bc9b4345002bcb51a2dfd990c04"`
[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/crater/workdir)
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> src/zip.rs:88:1
[INFO] [stderr]    |
[INFO] [stderr] 88 |   /** Zipper for `count`. */
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 89 | / mk_zip!{
[INFO] [stderr] 90 | |   unary Count(Label: Clone)<Label> of (HKey, Label, (), usize) by count
[INFO] [stderr] 91 | | }
[INFO] [stderr]    | |_- rustdoc does not generate documentation for macro expansions
[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]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 94 | / mk_zip!{
[INFO] [stderr] 95 | |   unary Offset(Label: Clone)<Label> of (
[INFO] [stderr] 96 | |     (HKey,Label), Label, Label, Zdd<Label>
[INFO] [stderr] 97 | |   ) by offset
[INFO] [stderr] 98 | | }
[INFO] [stderr]    | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 100 | / mk_zip!{
[INFO] [stderr] 101 | |   unary Onset(Label: Clone)<Label> of (
[INFO] [stderr] 102 | |     (HKey,Label), Label, Label, Zdd<Label>
[INFO] [stderr] 103 | |   ) by onset
[INFO] [stderr] 104 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 106 | / mk_zip!{
[INFO] [stderr] 107 | |   unary Change(Label: Clone)<Label> of (
[INFO] [stderr] 108 | |     (HKey,Label), Label, Label, Zdd<Label>
[INFO] [stderr] 109 | |   ) by change
[INFO] [stderr] 110 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 113 | / mk_zip!{
[INFO] [stderr] 114 | |   binary Union(Label: Clone)<Label> of (
[INFO] [stderr] 115 | |     (HKey, HKey), Label, Label, Zdd<Label>
[INFO] [stderr] 116 | |   ) by union
[INFO] [stderr] 117 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 119 | / mk_zip!{
[INFO] [stderr] 120 | |   binary Inter(Label: Clone)<Label> of (
[INFO] [stderr] 121 | |     (HKey, HKey), Label, Label, Zdd<Label>
[INFO] [stderr] 122 | |   ) by inter
[INFO] [stderr] 123 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 125 | / mk_zip!{
[INFO] [stderr] 126 | |   binary Minus(Label: Clone)<Label> of (
[INFO] [stderr] 127 | |     (HKey, HKey), Label, Label, Zdd<Label>
[INFO] [stderr] 128 | |   ) by minus
[INFO] [stderr] 129 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 132 | / mk_zip!{
[INFO] [stderr] 133 | |   binary Subset(Label: Clone)<Label> of (
[INFO] [stderr] 134 | |     (HKey, HKey), Label, (), bool
[INFO] [stderr] 135 | |   ) by subset
[INFO] [stderr] 136 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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:88:1
[INFO] [stderr]    |
[INFO] [stderr] 88 |   /** Zipper for `count`. */
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 89 | / mk_zip!{
[INFO] [stderr] 90 | |   unary Count(Label: Clone)<Label> of (HKey, Label, (), usize) by count
[INFO] [stderr] 91 | | }
[INFO] [stderr]    | |_- rustdoc does not generate documentation for macro expansions
[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]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 94 | / mk_zip!{
[INFO] [stderr] 95 | |   unary Offset(Label: Clone)<Label> of (
[INFO] [stderr] 96 | |     (HKey,Label), Label, Label, Zdd<Label>
[INFO] [stderr] 97 | |   ) by offset
[INFO] [stderr] 98 | | }
[INFO] [stderr]    | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 100 | / mk_zip!{
[INFO] [stderr] 101 | |   unary Onset(Label: Clone)<Label> of (
[INFO] [stderr] 102 | |     (HKey,Label), Label, Label, Zdd<Label>
[INFO] [stderr] 103 | |   ) by onset
[INFO] [stderr] 104 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 106 | / mk_zip!{
[INFO] [stderr] 107 | |   unary Change(Label: Clone)<Label> of (
[INFO] [stderr] 108 | |     (HKey,Label), Label, Label, Zdd<Label>
[INFO] [stderr] 109 | |   ) by change
[INFO] [stderr] 110 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 113 | / mk_zip!{
[INFO] [stderr] 114 | |   binary Union(Label: Clone)<Label> of (
[INFO] [stderr] 115 | |     (HKey, HKey), Label, Label, Zdd<Label>
[INFO] [stderr] 116 | |   ) by union
[INFO] [stderr] 117 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 119 | / mk_zip!{
[INFO] [stderr] 120 | |   binary Inter(Label: Clone)<Label> of (
[INFO] [stderr] 121 | |     (HKey, HKey), Label, Label, Zdd<Label>
[INFO] [stderr] 122 | |   ) by inter
[INFO] [stderr] 123 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 125 | / mk_zip!{
[INFO] [stderr] 126 | |   binary Minus(Label: Clone)<Label> of (
[INFO] [stderr] 127 | |     (HKey, HKey), Label, Label, Zdd<Label>
[INFO] [stderr] 128 | |   ) by minus
[INFO] [stderr] 129 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 132 | / mk_zip!{
[INFO] [stderr] 133 | |   binary Subset(Label: Clone)<Label> of (
[INFO] [stderr] 134 | |     (HKey, HKey), Label, (), bool
[INFO] [stderr] 135 | |   ) by subset
[INFO] [stderr] 136 | | }
[INFO] [stderr]     | |_- rustdoc does not generate documentation for macro expansions
[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 `#[macro_use]` import
[INFO] [stderr]   --> src/lib.rs:63:1
[INFO] [stderr]    |
[INFO] [stderr] 63 | #[macro_use]
[INFO] [stderr]    | ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(unused_imports)] on by default
[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] 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 require that `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: Could not compile `zdd`.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] warning: unused `#[macro_use]` import
[INFO] [stderr]   --> src/lib.rs:63:1
[INFO] [stderr]    |
[INFO] [stderr] 63 | #[macro_use]
[INFO] [stderr]    | ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(unused_imports)] on by default
[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] 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 require that `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: Could not compile `zdd`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "4f2becf27eb177db71c8f75fa2a8d92036dc3bc9b4345002bcb51a2dfd990c04"`
[INFO] running `"docker" "rm" "-f" "4f2becf27eb177db71c8f75fa2a8d92036dc3bc9b4345002bcb51a2dfd990c04"`
[INFO] [stdout] 4f2becf27eb177db71c8f75fa2a8d92036dc3bc9b4345002bcb51a2dfd990c04