[INFO] fetching crate dialectic 0.4.1...
[INFO] testing dialectic-0.4.1 against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_libc_patch_0
[INFO] extracting crate dialectic 0.4.1 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate dialectic 0.4.1
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate dialectic 0.4.1
[INFO] tweaked toml for crates.io crate dialectic 0.4.1 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate dialectic 0.4.1 on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate dialectic 0.4.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded dialectic-tokio-serde v0.1.0
[INFO] [stderr]   Downloaded bincode v1.3.2
[INFO] [stderr]   Downloaded dialectic-tokio-mpsc v0.1.0
[INFO] [stderr]   Downloaded dialectic-macro v0.1.0
[INFO] [stderr]   Downloaded thunderdome v0.4.1
[INFO] [stderr]   Downloaded dialectic-compiler v0.1.0
[INFO] [stderr]   Downloaded tokio v1.4.0
[INFO] [stderr]   Downloaded dialectic-tokio-serde-bincode v0.1.0
[INFO] [stderr]   Downloaded call-by v0.2.0
[INFO] [stderr]   Downloaded dialectic-null v0.1.0
[INFO] [stderr]   Downloaded dialectic v0.4.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f732e470baf7a71cb7f27b4b974493851685962d4de6805991868b0d5ec6f814
[INFO] running `Command { std: "docker" "start" "-a" "f732e470baf7a71cb7f27b4b974493851685962d4de6805991868b0d5ec6f814", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f732e470baf7a71cb7f27b4b974493851685962d4de6805991868b0d5ec6f814", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f732e470baf7a71cb7f27b4b974493851685962d4de6805991868b0d5ec6f814", kill_on_drop: false }`
[INFO] [stdout] f732e470baf7a71cb7f27b4b974493851685962d4de6805991868b0d5ec6f814
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] dd45eacd72b3cd7f41ceeea6d888f64ed1d9535e41e1f1107acc355c7108d747
[INFO] running `Command { std: "docker" "start" "-a" "dd45eacd72b3cd7f41ceeea6d888f64ed1d9535e41e1f1107acc355c7108d747", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.26
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling syn v1.0.68
[INFO] [stderr]    Compiling serde_derive v1.0.125
[INFO] [stderr]    Compiling proc-macro-hack v0.5.19
[INFO] [stderr]    Compiling serde v1.0.125
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling proc-macro-nested v0.1.7
[INFO] [stderr]    Compiling futures-sink v0.3.13
[INFO] [stderr]    Compiling futures-core v0.3.13
[INFO] [stderr]    Compiling slab v0.4.2
[INFO] [stderr]    Compiling futures-io v0.3.13
[INFO] [stderr]    Compiling pin-project-lite v0.2.6
[INFO] [stderr]    Compiling futures-task v0.3.13
[INFO] [stderr]    Compiling thunderdome v0.4.1
[INFO] [stderr]    Compiling dialectic v0.4.1 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling call-by v0.2.0
[INFO] [stderr]    Compiling futures-channel v0.3.13
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling thiserror-impl v1.0.24
[INFO] [stderr]    Compiling futures-macro v0.3.13
[INFO] [stderr]    Compiling pin-project-internal v1.0.6
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling futures-util v0.3.13
[INFO] [stderr]    Compiling thiserror v1.0.24
[INFO] [stderr]    Compiling pin-project v1.0.6
[INFO] [stderr]    Compiling futures-executor v0.3.13
[INFO] [stderr]    Compiling futures v0.3.13
[INFO] [stderr]    Compiling toml v0.5.8
[INFO] [stderr]    Compiling proc-macro-crate v1.0.0
[INFO] [stderr]    Compiling dialectic-compiler v0.1.0
[INFO] [stderr]    Compiling dialectic-macro v0.1.0
[INFO] [stdout] warning: unnecessary qualification
[INFO] [stdout]    --> src/chan.rs:810:9
[INFO] [stdout]     |
[INFO] [stdout] 810 |     Tx: std::marker::Send + 'static,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]    --> src/lib.rs:129:9
[INFO] [stdout]     |
[INFO] [stdout] 129 | #![warn(unused_qualifications, unused_results)]
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the unnecessary path segments
[INFO] [stdout]     |
[INFO] [stdout] 810 -     Tx: std::marker::Send + 'static,
[INFO] [stdout] 810 +     Tx: marker::Send + 'static,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary qualification
[INFO] [stdout]    --> src/chan.rs:811:9
[INFO] [stdout]     |
[INFO] [stdout] 811 |     Rx: std::marker::Send + 'static,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: remove the unnecessary path segments
[INFO] [stdout]     |
[INFO] [stdout] 811 -     Rx: std::marker::Send + 'static,
[INFO] [stdout] 811 +     Rx: marker::Send + 'static,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::*`
[INFO] [stdout]    --> src/lib.rs:167:13
[INFO] [stdout]     |
[INFO] [stdout] 167 |     pub use crate::*;
[INFO] [stdout]     |             ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]    --> src/lib.rs:131:9
[INFO] [stdout]     |
[INFO] [stdout] 131 | #![warn(unused)]
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout]     = note: `#[warn(unused_imports)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 53.97s
[INFO] running `Command { std: "docker" "inspect" "dd45eacd72b3cd7f41ceeea6d888f64ed1d9535e41e1f1107acc355c7108d747", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dd45eacd72b3cd7f41ceeea6d888f64ed1d9535e41e1f1107acc355c7108d747", kill_on_drop: false }`
[INFO] [stdout] dd45eacd72b3cd7f41ceeea6d888f64ed1d9535e41e1f1107acc355c7108d747
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--no-run" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] ae98bc1128ba768d4f4d6425ee401a43c945de9eda8cef0561448a5862733735
[INFO] running `Command { std: "docker" "start" "-a" "ae98bc1128ba768d4f4d6425ee401a43c945de9eda8cef0561448a5862733735", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling libc v0.2.92
[INFO] [stderr]    Compiling scopeguard v1.1.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling serde v1.0.125
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling instant v0.1.9
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling smallvec v1.6.1
[INFO] [stderr]    Compiling semver-parser v0.7.0
[INFO] [stderr]    Compiling once_cell v1.7.2
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling bytes v1.0.1
[INFO] [stderr]    Compiling tokio-macros v1.1.0
[INFO] [stderr]    Compiling dialectic v0.4.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling lock_api v0.4.2
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling rayon-core v1.9.0
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling itoa v0.4.7
[INFO] [stderr]    Compiling semver v0.9.0
[INFO] [stderr]    Compiling serde_json v1.0.64
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling ansi_term v0.11.0
[INFO] [stderr]    Compiling plotters-backend v0.3.0
[INFO] [stderr]    Compiling unicode-segmentation v1.7.1
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling rustc_version v0.2.3
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling csv-core v0.1.10
[INFO] [stderr]    Compiling crossbeam-utils v0.8.3
[INFO] [stderr]    Compiling tokio v1.4.0
[INFO] [stderr]    Compiling memoffset v0.6.3
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling rayon v1.5.0
[INFO] [stderr]    Compiling regex-automata v0.1.9
[INFO] [stderr]    Compiling heck v0.3.2
[INFO] [stderr]    Compiling plotters-svg v0.3.0
[INFO] [stderr]    Compiling half v1.7.1
[INFO] [stderr]    Compiling regex-syntax v0.6.23
[INFO] [stderr]    Compiling cast v0.2.3
[INFO] [stderr]    Compiling walkdir v2.3.2
[INFO] [stderr]    Compiling itertools v0.10.0
[INFO] [stderr]    Compiling num_cpus v1.13.0
[INFO] [stderr]    Compiling parking_lot_core v0.8.3
[INFO] [stderr]    Compiling signal-hook-registry v1.3.0
[INFO] [stderr]    Compiling mio v0.7.11
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling oorandom v11.1.3
[INFO] [stderr]    Compiling colored v2.0.0
[INFO] [stdout] warning: unnecessary qualification
[INFO] [stdout]    --> src/chan.rs:810:9
[INFO] [stdout]     |
[INFO] [stdout] 810 |     Tx: std::marker::Send + 'static,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]    --> src/lib.rs:129:9
[INFO] [stdout]     |
[INFO] [stdout] 129 | #![warn(unused_qualifications, unused_results)]
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the unnecessary path segments
[INFO] [stdout]     |
[INFO] [stdout] 810 -     Tx: std::marker::Send + 'static,
[INFO] [stdout] 810 +     Tx: marker::Send + 'static,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary qualification
[INFO] [stdout]    --> src/chan.rs:811:9
[INFO] [stdout]     |
[INFO] [stdout] 811 |     Rx: std::marker::Send + 'static,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: remove the unnecessary path segments
[INFO] [stdout]     |
[INFO] [stdout] 811 -     Rx: std::marker::Send + 'static,
[INFO] [stdout] 811 +     Rx: marker::Send + 'static,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::*`
[INFO] [stdout]    --> src/lib.rs:167:13
[INFO] [stdout]     |
[INFO] [stdout] 167 |     pub use crate::*;
[INFO] [stdout]     |             ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]    --> src/lib.rs:131:9
[INFO] [stdout]     |
[INFO] [stdout] 131 | #![warn(unused)]
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout]     = note: `#[warn(unused_imports)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling structopt-derive v0.4.14
[INFO] [stderr]    Compiling criterion-plot v0.4.3
[INFO] [stderr]    Compiling parking_lot v0.11.1
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.3
[INFO] [stderr]    Compiling crossbeam-channel v0.5.0
[INFO] [stderr]    Compiling crossbeam-deque v0.8.0
[INFO] [stderr]    Compiling regex v1.4.5
[INFO] [stderr]    Compiling plotters v0.3.0
[INFO] [stderr]    Compiling structopt v0.3.21
[INFO] [stderr]    Compiling bstr v0.2.15
[INFO] [stderr]    Compiling bincode v1.3.2
[INFO] [stderr]    Compiling serde_cbor v0.11.1
[INFO] [stderr]    Compiling csv v1.1.6
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling tokio-util v0.6.5
[INFO] [stderr]    Compiling criterion v0.3.4
[INFO] [stderr]    Compiling dialectic-tokio-serde v0.1.0
[INFO] [stderr]    Compiling dialectic-tokio-mpsc v0.1.0
[INFO] [stderr]    Compiling dialectic-null v0.1.0
[INFO] [stderr]    Compiling dialectic-tokio-serde-bincode v0.1.0
[INFO] [stderr]    Compiling dialectic v0.4.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]    |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]    |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]    |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]    |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]    |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]    |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]    |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]    |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]    |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::Scoped
[INFO] [stdout]     |                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::Actionable
[INFO] [stdout]     |                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::HasDual
[INFO] [stdout]     |                          ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::Scoped
[INFO] [stdout]     |                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::Actionable
[INFO] [stdout]     |                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::HasDual
[INFO] [stdout]     |                          ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::Scoped
[INFO] [stdout]     |                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::Actionable
[INFO] [stdout]     |                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::HasDual
[INFO] [stdout]     |                          ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]    |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]    |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]    |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]    |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]    |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]   --> examples/common.rs:56:60
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]    |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::Scoped
[INFO] [stdout]     |                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::Actionable
[INFO] [stdout]     |                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::HasDual
[INFO] [stdout]     |                          ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/common.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ---------- expected `Chan<P, Sender<Bincode, LengthDelimitedCodec, OwnedWriteHalf>, ...>` because of return type
[INFO] [stdout] ...
[INFO] [stdout] 62 |     P::wrap(tx, rx)
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^ expected `Chan<P, Sender<Bincode, ..., ...>, ...>`, found a different `Chan<P, Sender<Bincode, ..., ...>, ...>`
[INFO] [stdout]    |
[INFO] [stdout] note: two different versions of crate `dialectic` are being used; two types coming from two different versions of the same crate are different types even if they look the same
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the expected type `dialectic::chan::Chan`
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/workdir/src/chan.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the found type `dialectic::Chan`
[INFO] [stdout]    |
[INFO] [stdout]   ::: examples/common.rs:2:5
[INFO] [stdout]    |
[INFO] [stdout] 2  | use dialectic_tokio_serde::codec::LengthDelimitedCodec;
[INFO] [stdout]    |     --------------------- one version of crate `dialectic` used here, as a dependency of crate `dialectic_tokio_serde`
[INFO] [stdout]    |
[INFO] [stdout]   ::: examples/stack.rs:2:5
[INFO] [stdout]    |
[INFO] [stdout] 2  | use dialectic::prelude::*;
[INFO] [stdout]    |     --------- one version of crate `dialectic` used here, as a direct dependency of the current crate
[INFO] [stdout]    = help: you can use `cargo tree` to explore your dependency tree
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/x86_64-unknown-linux-musl/debug/examples/stack-6129f80d4078259a.long-type-1436019012887585767.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/stack.rs:11:20
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                    ^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 117 | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<Loop<Offer<(dialectic::types::Done, dialectic::types::Recv<String, Call<dialectic::types::Continue<0>, dialectic::types::Send<String, dialectic::types::Continue<0>>>>)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<Loop<Offer<(dialectic::types::Done, dialectic::types::Recv<String, Call<dialectic::types::Continue<0>, dialectic::types::Send<String, dialectic::types::Continue<0>>>>)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/stack.rs:11:38
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     -------------------------------- ^^^^^^^ expected due to this
[INFO] [stdout]     |     |
[INFO] [stdout]     |     required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 117 | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<Loop<Offer<(dialectic::types::Done, dialectic::types::Recv<String, Call<dialectic::types::Continue<0>, dialectic::types::Send<String, dialectic::types::Continue<0>>>>)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<Loop<Offer<(dialectic::types::Done, dialectic::types::Recv<String, Call<dialectic::types::Continue<0>, dialectic::types::Send<String, dialectic::types::Continue<0>>>>)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:31
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |                               ^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/stack.rs:11:29
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                             ^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 30  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<Loop<Choose<(dialectic::types::Done, dialectic::types::Send<String, Call<dialectic::types::Continue<0>, dialectic::types::Recv<String, dialectic::types::Continue<0>>>>)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<Loop<Choose<(dialectic::types::Done, dialectic::types::Send<String, Call<dialectic::types::Continue<0>, dialectic::types::Recv<String, dialectic::types::Continue<0>>>>)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/stack.rs:11:47
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     --------------------------------          ^^^^^^^ expected due to this
[INFO] [stdout]     |     |
[INFO] [stdout]     |     required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 30  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<Loop<Choose<(dialectic::types::Done, dialectic::types::Send<String, Call<dialectic::types::Continue<0>, dialectic::types::Recv<String, dialectic::types::Continue<0>>>>)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<Loop<Choose<(dialectic::types::Done, dialectic::types::Send<String, Call<dialectic::types::Continue<0>, dialectic::types::Recv<String, dialectic::types::Continue<0>>>>)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:63
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |                                                               ^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/stack.rs:11:5
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 117 | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<Loop<Offer<(dialectic::types::Done, dialectic::types::Recv<String, Call<dialectic::types::Continue<0>, dialectic::types::Send<String, dialectic::types::Continue<0>>>>)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<Loop<Offer<(dialectic::types::Done, dialectic::types::Recv<String, Call<dialectic::types::Continue<0>, dialectic::types::Send<String, dialectic::types::Continue<0>>>>)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/common.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ---------- expected `Chan<P, Sender<Bincode, LengthDelimitedCodec, OwnedWriteHalf>, ...>` because of return type
[INFO] [stdout] ...
[INFO] [stdout] 62 |     P::wrap(tx, rx)
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^ expected `Chan<P, Sender<Bincode, ..., ...>, ...>`, found a different `Chan<P, Sender<Bincode, ..., ...>, ...>`
[INFO] [stdout]    |
[INFO] [stdout] note: two different versions of crate `dialectic` are being used; two types coming from two different versions of the same crate are different types even if they look the same
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the expected type `dialectic::chan::Chan`
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/workdir/src/chan.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the found type `Chan`
[INFO] [stdout]    |
[INFO] [stdout]   ::: examples/common.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout] 1  | use dialectic::prelude::*;
[INFO] [stdout]    |     --------- one version of crate `dialectic` used here, as a direct dependency of the current crate
[INFO] [stdout] 2  | use dialectic_tokio_serde::codec::LengthDelimitedCodec;
[INFO] [stdout]    |     --------------------- one version of crate `dialectic` used here, as a dependency of crate `dialectic_tokio_serde`
[INFO] [stdout]    = help: you can use `cargo tree` to explore your dependency tree
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/x86_64-unknown-linux-musl/debug/examples/common-df253aa956495af7.long-type-13680743853217722579.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/stack.rs:11:5
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 30  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<Loop<Choose<(dialectic::types::Done, dialectic::types::Send<String, Call<dialectic::types::Continue<0>, dialectic::types::Recv<String, dialectic::types::Continue<0>>>>)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<Loop<Choose<(dialectic::types::Done, dialectic::types::Send<String, Call<dialectic::types::Continue<0>, dialectic::types::Recv<String, dialectic::types::Continue<0>>>>)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/stack.rs:11:68
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                                                                    ^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 117 | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<Loop<Offer<(dialectic::types::Done, dialectic::types::Recv<String, Call<dialectic::types::Continue<0>, dialectic::types::Send<String, dialectic::types::Continue<0>>>>)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<Loop<Offer<(dialectic::types::Done, dialectic::types::Recv<String, Call<dialectic::types::Continue<0>, dialectic::types::Send<String, dialectic::types::Continue<0>>>>)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/stack.rs:11:68
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                                                                    ^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 30  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<Loop<Choose<(dialectic::types::Done, dialectic::types::Send<String, Call<dialectic::types::Continue<0>, dialectic::types::Recv<String, dialectic::types::Continue<0>>>>)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<Loop<Choose<(dialectic::types::Done, dialectic::types::Send<String, Call<dialectic::types::Continue<0>, dialectic::types::Recv<String, dialectic::types::Continue<0>>>>)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0308.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::Scoped
[INFO] [stdout]     |                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::Actionable
[INFO] [stdout]     |                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as dialectic::Session>::Dual: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `<P as dialectic::Session>::Dual`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `<P as dialectic::Session>::Dual` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 112 |     ClientResult: Debug, <P as dialectic::Session>::Dual: dialectic::types::HasDual
[INFO] [stdout]     |                          ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 140 |     F: Fn(TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dialectic` (example "common") due to 28 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 |     F: Fn(BufReader<Stdin>, Stdout, TcpChan<P>) -> Fut + Sync + 'static,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0631.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:21
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:153:33
[INFO] [stdout]     |
[INFO] [stdout] 153 |             let _ = interaction(wrap_socket::<P>(socket, max_length))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 142 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dialectic` (example "stack") due to 36 previous errors
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/common.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ---------- expected `Chan<P, Sender<Bincode, LengthDelimitedCodec, OwnedWriteHalf>, ...>` because of return type
[INFO] [stdout] ...
[INFO] [stdout] 62 |     P::wrap(tx, rx)
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^ expected `Chan<P, Sender<Bincode, ..., ...>, ...>`, found a different `Chan<P, Sender<Bincode, ..., ...>, ...>`
[INFO] [stdout]    |
[INFO] [stdout] note: two different versions of crate `dialectic` are being used; two types coming from two different versions of the same crate are different types even if they look the same
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the expected type `dialectic::chan::Chan`
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/workdir/src/chan.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the found type `dialectic::Chan`
[INFO] [stdout]    |
[INFO] [stdout]   ::: examples/common.rs:2:5
[INFO] [stdout]    |
[INFO] [stdout] 2  | use dialectic_tokio_serde::codec::LengthDelimitedCodec;
[INFO] [stdout]    |     --------------------- one version of crate `dialectic` used here, as a dependency of crate `dialectic_tokio_serde`
[INFO] [stdout]    |
[INFO] [stdout]   ::: examples/hello.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout] 1  | use dialectic::prelude::*;
[INFO] [stdout]    |     --------- one version of crate `dialectic` used here, as a direct dependency of the current crate
[INFO] [stdout]    = help: you can use `cargo tree` to explore your dependency tree
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/x86_64-unknown-linux-musl/debug/examples/hello-6095f98d136f9008.long-type-9240705192621122080.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:18
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Scoped` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Scoped` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Scoped`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Scoped,
[INFO] [stdout]     |                ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::Actionable` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::Actionable` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `Actionable`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::Actionable,
[INFO] [stdout]     |                ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: dialectic::types::HasDual` is not satisfied
[INFO] [stdout]    --> examples/common.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let result = interaction(stdin, stdout, wrap_socket::<P>(socket, max_length)).await?;
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `dialectic::types::HasDual` is not implemented for `P`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `P` to implement `dialectic::session::Session`
[INFO] [stdout] note: required by a bound in `dialectic::chan::Chan`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:20
[INFO] [stdout]     |
[INFO] [stdout] 68  | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]     |                    ^^^^^^^ required by this bound in `Chan`
[INFO] [stdout] help: consider further restricting type parameter `P` with trait `HasDual`
[INFO] [stdout]     |
[INFO] [stdout] 177 |     P: Session + dialectic::types::HasDual,
[INFO] [stdout]     |                +++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/hello.rs:10:20
[INFO] [stdout]     |
[INFO] [stdout] 10  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                    ^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 48  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<dialectic::types::Recv<String, dialectic::types::Send<String, dialectic::types::Done>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<dialectic::types::Recv<String, dialectic::types::Send<String, dialectic::types::Done>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/hello.rs:10:38
[INFO] [stdout]     |
[INFO] [stdout] 10  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     -------------------------------- ^^^^^^^ expected due to this
[INFO] [stdout]     |     |
[INFO] [stdout]     |     required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 48  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<dialectic::types::Recv<String, dialectic::types::Send<String, dialectic::types::Done>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<dialectic::types::Recv<String, dialectic::types::Send<String, dialectic::types::Done>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:31
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |                               ^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/hello.rs:10:29
[INFO] [stdout]     |
[INFO] [stdout] 10  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                             ^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 21  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<dialectic::types::Send<String, dialectic::types::Recv<String, dialectic::types::Done>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<dialectic::types::Send<String, dialectic::types::Recv<String, dialectic::types::Done>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/hello.rs:10:47
[INFO] [stdout]     |
[INFO] [stdout] 10  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     --------------------------------          ^^^^^^^ expected due to this
[INFO] [stdout]     |     |
[INFO] [stdout]     |     required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 21  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<dialectic::types::Send<String, dialectic::types::Recv<String, dialectic::types::Done>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<dialectic::types::Send<String, dialectic::types::Recv<String, dialectic::types::Done>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:63
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |                                                               ^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/hello.rs:10:5
[INFO] [stdout]     |
[INFO] [stdout] 10  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 48  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<dialectic::types::Recv<String, dialectic::types::Send<String, dialectic::types::Done>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<dialectic::types::Recv<String, dialectic::types::Send<String, dialectic::types::Done>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/hello.rs:10:5
[INFO] [stdout]     |
[INFO] [stdout] 10  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 21  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<dialectic::types::Send<String, dialectic::types::Recv<String, dialectic::types::Done>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<dialectic::types::Send<String, dialectic::types::Recv<String, dialectic::types::Done>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/hello.rs:10:68
[INFO] [stdout]     |
[INFO] [stdout] 10  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                                                                    ^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 48  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<dialectic::types::Recv<String, dialectic::types::Send<String, dialectic::types::Done>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<dialectic::types::Recv<String, dialectic::types::Send<String, dialectic::types::Done>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/hello.rs:10:68
[INFO] [stdout]     |
[INFO] [stdout] 10  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                                                                    ^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 21  | #[Receiver(Rx for String)]
[INFO] [stdout]     | -------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<dialectic::types::Send<String, dialectic::types::Recv<String, dialectic::types::Done>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<dialectic::types::Send<String, dialectic::types::Recv<String, dialectic::types::Done>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/common.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ---------- expected `Chan<P, Sender<Bincode, LengthDelimitedCodec, OwnedWriteHalf>, ...>` because of return type
[INFO] [stdout] ...
[INFO] [stdout] 62 |     P::wrap(tx, rx)
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^ expected `Chan<P, Sender<Bincode, ..., ...>, ...>`, found a different `Chan<P, Sender<Bincode, ..., ...>, ...>`
[INFO] [stdout]    |
[INFO] [stdout] note: two different versions of crate `dialectic` are being used; two types coming from two different versions of the same crate are different types even if they look the same
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the expected type `dialectic::chan::Chan`
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/workdir/src/chan.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the found type `dialectic::Chan`
[INFO] [stdout]    |
[INFO] [stdout]   ::: examples/common.rs:2:5
[INFO] [stdout]    |
[INFO] [stdout] 2  | use dialectic_tokio_serde::codec::LengthDelimitedCodec;
[INFO] [stdout]    |     --------------------- one version of crate `dialectic` used here, as a dependency of crate `dialectic_tokio_serde`
[INFO] [stdout]    |
[INFO] [stdout]   ::: examples/template.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout] 1  | use dialectic::prelude::*;
[INFO] [stdout]    |     --------- one version of crate `dialectic` used here, as a direct dependency of the current crate
[INFO] [stdout]    = help: you can use `cargo tree` to explore your dependency tree
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/x86_64-unknown-linux-musl/debug/examples/template-e4b3e057caa4cbfa.long-type-15516507554599077487.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0631.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/template.rs:11:20
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                    ^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 41  | #[Receiver(Rx for /* add types needed by session here */ )]
[INFO] [stdout]     | ----------------------------------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<dialectic::types::Done, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<dialectic::types::Done, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/template.rs:11:38
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     -------------------------------- ^^^^^^^ expected due to this
[INFO] [stdout]     |     |
[INFO] [stdout]     |     required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 41  | #[Receiver(Rx for /* add types needed by session here */ )]
[INFO] [stdout]     | ----------------------------------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<dialectic::types::Done, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<dialectic::types::Done, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:31
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |                               ^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/template.rs:11:29
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                             ^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 21  | #[Receiver(Rx for /* add types needed by session here */)]
[INFO] [stdout]     | ---------------------------------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<dialectic::types::Done, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<dialectic::types::Done, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/template.rs:11:47
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     --------------------------------          ^^^^^^^ expected due to this
[INFO] [stdout]     |     |
[INFO] [stdout]     |     required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 21  | #[Receiver(Rx for /* add types needed by session here */)]
[INFO] [stdout]     | ---------------------------------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<dialectic::types::Done, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<dialectic::types::Done, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:63
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |                                                               ^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/template.rs:11:5
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 41  | #[Receiver(Rx for /* add types needed by session here */ )]
[INFO] [stdout]     | ----------------------------------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<dialectic::types::Done, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<dialectic::types::Done, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/template.rs:11:5
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 21  | #[Receiver(Rx for /* add types needed by session here */)]
[INFO] [stdout]     | ---------------------------------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<dialectic::types::Done, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<dialectic::types::Done, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/template.rs:11:68
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                                                                    ^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 41  | #[Receiver(Rx for /* add types needed by session here */ )]
[INFO] [stdout]     | ----------------------------------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<dialectic::types::Done, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<dialectic::types::Done, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/template.rs:11:68
[INFO] [stdout]     |
[INFO] [stdout] 11  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                                                                    ^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 21  | #[Receiver(Rx for /* add types needed by session here */)]
[INFO] [stdout]     | ---------------------------------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<dialectic::types::Done, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<dialectic::types::Done, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dialectic` (example "hello") due to 36 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0631.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dialectic` (example "template") due to 36 previous errors
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/common.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn wrap_socket<P>(socket: TcpStream, max_length: usize) -> TcpChan<P>
[INFO] [stdout]    |                                                            ---------- expected `Chan<P, Sender<Bincode, LengthDelimitedCodec, OwnedWriteHalf>, ...>` because of return type
[INFO] [stdout] ...
[INFO] [stdout] 62 |     P::wrap(tx, rx)
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^ expected `Chan<P, Sender<Bincode, ..., ...>, ...>`, found a different `Chan<P, Sender<Bincode, ..., ...>, ...>`
[INFO] [stdout]    |
[INFO] [stdout] note: two different versions of crate `dialectic` are being used; two types coming from two different versions of the same crate are different types even if they look the same
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/dialectic-0.4.0/src/chan.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the expected type `dialectic::chan::Chan`
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/workdir/src/chan.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Chan<S: Session, Tx: marker::Send + 'static, Rx: marker::Send + 'static> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the found type `dialectic::Chan`
[INFO] [stdout]    |
[INFO] [stdout]   ::: examples/common.rs:2:5
[INFO] [stdout]    |
[INFO] [stdout] 2  | use dialectic_tokio_serde::codec::LengthDelimitedCodec;
[INFO] [stdout]    |     --------------------- one version of crate `dialectic` used here, as a dependency of crate `dialectic_tokio_serde`
[INFO] [stdout]    |
[INFO] [stdout]   ::: examples/tally.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout] 1  | use dialectic::prelude::*;
[INFO] [stdout]    |     --------- one version of crate `dialectic` used here, as a direct dependency of the current crate
[INFO] [stdout]    = help: you can use `cargo tree` to explore your dependency tree
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/x86_64-unknown-linux-musl/debug/examples/tally-0af6bad7bd4eaf4f.long-type-10763739609352147944.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/tally.rs:16:20
[INFO] [stdout]     |
[INFO] [stdout] 16  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                    ^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 139 | #[Receiver(Rx for Operation, i64)]
[INFO] [stdout]     | ---------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<Loop<Offer<(dialectic::types::Recv<Operation, Call<Loop<Offer<(dialectic::types::Recv<i64, dialectic::types::Continue<0>>, dialectic::types::Send<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<Loop<Offer<(dialectic::types::Recv<Operation, Call<Loop<Offer<(dialectic::types::Recv<i64, dialectic::types::Continue<0>>, dialectic::types::Send<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/tally.rs:16:38
[INFO] [stdout]     |
[INFO] [stdout] 16  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     -------------------------------- ^^^^^^^ expected due to this
[INFO] [stdout]     |     |
[INFO] [stdout]     |     required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 139 | #[Receiver(Rx for Operation, i64)]
[INFO] [stdout]     | ---------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<Loop<Offer<(dialectic::types::Recv<Operation, Call<Loop<Offer<(dialectic::types::Recv<i64, dialectic::types::Continue<0>>, dialectic::types::Send<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<Loop<Offer<(dialectic::types::Recv<Operation, Call<Loop<Offer<(dialectic::types::Recv<i64, dialectic::types::Continue<0>>, dialectic::types::Send<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:31
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |                               ^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/tally.rs:16:29
[INFO] [stdout]     |
[INFO] [stdout] 16  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                             ^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 35  | #[Receiver(Rx for i64)]
[INFO] [stdout]     | ----------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<Loop<Choose<(dialectic::types::Send<Operation, Call<Loop<Choose<(dialectic::types::Send<i64, dialectic::types::Continue<0>>, dialectic::types::Recv<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<Loop<Choose<(dialectic::types::Send<Operation, Call<Loop<Choose<(dialectic::types::Send<i64, dialectic::types::Continue<0>>, dialectic::types::Recv<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/tally.rs:16:47
[INFO] [stdout]     |
[INFO] [stdout] 16  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     --------------------------------          ^^^^^^^ expected due to this
[INFO] [stdout]     |     |
[INFO] [stdout]     |     required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 35  | #[Receiver(Rx for i64)]
[INFO] [stdout]     | ----------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<Loop<Choose<(dialectic::types::Send<Operation, Call<Loop<Choose<(dialectic::types::Send<i64, dialectic::types::Continue<0>>, dialectic::types::Recv<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<Loop<Choose<(dialectic::types::Send<Operation, Call<Loop<Choose<(dialectic::types::Send<i64, dialectic::types::Continue<0>>, dialectic::types::Recv<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:63
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |                                                               ^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/tally.rs:16:5
[INFO] [stdout]     |
[INFO] [stdout] 16  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 139 | #[Receiver(Rx for Operation, i64)]
[INFO] [stdout]     | ---------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<Loop<Offer<(dialectic::types::Recv<Operation, Call<Loop<Offer<(dialectic::types::Recv<i64, dialectic::types::Continue<0>>, dialectic::types::Send<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<Loop<Offer<(dialectic::types::Recv<Operation, Call<Loop<Offer<(dialectic::types::Recv<i64, dialectic::types::Continue<0>>, dialectic::types::Send<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/tally.rs:16:5
[INFO] [stdout]     |
[INFO] [stdout] 16  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 35  | #[Receiver(Rx for i64)]
[INFO] [stdout]     | ----------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<Loop<Choose<(dialectic::types::Send<Operation, Call<Loop<Choose<(dialectic::types::Send<i64, dialectic::types::Continue<0>>, dialectic::types::Recv<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<Loop<Choose<(dialectic::types::Send<Operation, Call<Loop<Choose<(dialectic::types::Send<i64, dialectic::types::Continue<0>>, dialectic::types::Recv<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/tally.rs:16:68
[INFO] [stdout]     |
[INFO] [stdout] 16  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                                                                    ^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 139 | #[Receiver(Rx for Operation, i64)]
[INFO] [stdout]     | ---------------------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(dialectic::chan::Chan<Loop<Offer<(dialectic::types::Recv<Operation, Call<Loop<Offer<(dialectic::types::Recv<i64, dialectic::types::Continue<0>>, dialectic::types::Send<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(dialectic::Chan<Loop<Offer<(dialectic::types::Recv<Operation, Call<Loop<Offer<(dialectic::types::Recv<i64, dialectic::types::Continue<0>>, dialectic::types::Send<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 105 |     Server: Fn(TcpChan<P>) -> ServerFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0631]: type mismatch in function arguments
[INFO] [stdout]    --> examples/tally.rs:16:68
[INFO] [stdout]     |
[INFO] [stdout] 16  |     demo::<Server, _, _, _, _, _, _>(&server, &client, usize::MAX).await;
[INFO] [stdout]     |                                                                    ^^^^^ expected due to this
[INFO] [stdout] ...
[INFO] [stdout] 35  | #[Receiver(Rx for i64)]
[INFO] [stdout]     | ----------------------- found signature defined here
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::chan::Chan<Loop<Choose<(dialectic::types::Send<Operation, Call<Loop<Choose<(dialectic::types::Send<i64, dialectic::types::Continue<0>>, dialectic::types::Recv<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, dialectic_tokio_serde::Sender<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedWriteHalf>, dialectic_tokio_serde::Receiver<Bincode, LengthDelimitedCodec, tokio::net::tcp::OwnedReadHalf>>) -> _`
[INFO] [stdout]                found function signature `fn(tokio::io::BufReader<_>, tokio::io::Stdout, dialectic::Chan<Loop<Choose<(dialectic::types::Send<Operation, Call<Loop<Choose<(dialectic::types::Send<i64, dialectic::types::Continue<0>>, dialectic::types::Recv<i64, dialectic::types::Done>)>>, dialectic::types::Continue<0>>>, dialectic::types::Done)>>, _, _>) -> _`
[INFO] [stdout] note: required by a bound in `demo`
[INFO] [stdout]    --> examples/common.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 98  | pub async fn demo<P, Server, ServerFuture, ServerResult, Client, ClientFuture, ClientResult>(
[INFO] [stdout]     |              ---- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 106 |     Client: Fn(BufReader<Stdin>, Stdout, TcpChan<P::Dual>) -> ClientFuture + Sync + 'static,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `demo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0631.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dialectic` (example "tally") due to 36 previous errors
[INFO] [stdout] warning: unnecessary qualification
[INFO] [stdout]    --> src/types.rs:329:20
[INFO] [stdout]     |
[INFO] [stdout] 329 |         assert_eq!(std::mem::size_of::<P>(), 0);
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]    --> src/lib.rs:129:9
[INFO] [stdout]     |
[INFO] [stdout] 129 | #![warn(unused_qualifications, unused_results)]
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the unnecessary path segments
[INFO] [stdout]     |
[INFO] [stdout] 329 -         assert_eq!(std::mem::size_of::<P>(), 0);
[INFO] [stdout] 329 +         assert_eq!(size_of::<P>(), 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary qualification
[INFO] [stdout]    --> src/chan.rs:810:9
[INFO] [stdout]     |
[INFO] [stdout] 810 |     Tx: std::marker::Send + 'static,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: remove the unnecessary path segments
[INFO] [stdout]     |
[INFO] [stdout] 810 -     Tx: std::marker::Send + 'static,
[INFO] [stdout] 810 +     Tx: marker::Send + 'static,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary qualification
[INFO] [stdout]    --> src/chan.rs:811:9
[INFO] [stdout]     |
[INFO] [stdout] 811 |     Rx: std::marker::Send + 'static,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: remove the unnecessary path segments
[INFO] [stdout]     |
[INFO] [stdout] 811 -     Rx: std::marker::Send + 'static,
[INFO] [stdout] 811 +     Rx: marker::Send + 'static,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "ae98bc1128ba768d4f4d6425ee401a43c945de9eda8cef0561448a5862733735", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ae98bc1128ba768d4f4d6425ee401a43c945de9eda8cef0561448a5862733735", kill_on_drop: false }`
[INFO] [stdout] ae98bc1128ba768d4f4d6425ee401a43c945de9eda8cef0561448a5862733735