[INFO] fetching crate dialectic 0.4.1...
[INFO] testing dialectic-0.4.1 against beta-2025-09-21 for beta-1.91-3
[INFO] extracting crate dialectic 0.4.1 into /workspace/builds/worker-2-tc2/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-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate dialectic 0.4.1 on toolchain beta-2025-09-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "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" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 46cb4f6e36ddd5499d53bf33b876e4b2a90652ad4ac198260f8b97d922512f57
[INFO] running `Command { std: "docker" "start" "-a" "46cb4f6e36ddd5499d53bf33b876e4b2a90652ad4ac198260f8b97d922512f57", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "46cb4f6e36ddd5499d53bf33b876e4b2a90652ad4ac198260f8b97d922512f57", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "46cb4f6e36ddd5499d53bf33b876e4b2a90652ad4ac198260f8b97d922512f57", kill_on_drop: false }`
[INFO] [stdout] 46cb4f6e36ddd5499d53bf33b876e4b2a90652ad4ac198260f8b97d922512f57
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] be25c9a789c74f443be341a719def5cc7491e159a723cb7c3f18f47641d4d19a
[INFO] running `Command { std: "docker" "start" "-a" "be25c9a789c74f443be341a719def5cc7491e159a723cb7c3f18f47641d4d19a", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.68
[INFO] [stderr]    Compiling futures-sink v0.3.13
[INFO] [stderr]    Compiling futures-core v0.3.13
[INFO] [stderr]    Compiling serde v1.0.125
[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 serde_derive v1.0.125
[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 pin-project v1.0.6
[INFO] [stderr]    Compiling thiserror v1.0.24
[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 43.82s
[INFO] running `Command { std: "docker" "inspect" "be25c9a789c74f443be341a719def5cc7491e159a723cb7c3f18f47641d4d19a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "be25c9a789c74f443be341a719def5cc7491e159a723cb7c3f18f47641d4d19a", kill_on_drop: false }`
[INFO] [stdout] be25c9a789c74f443be341a719def5cc7491e159a723cb7c3f18f47641d4d19a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9a95b54713ea0628d2b45ba6fd6184d827e701329b92e50204f5099c0fd5af3c
[INFO] running `Command { std: "docker" "start" "-a" "9a95b54713ea0628d2b45ba6fd6184d827e701329b92e50204f5099c0fd5af3c", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.92
[INFO] [stderr]    Compiling serde v1.0.125
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling tokio v1.4.0
[INFO] [stderr]    Compiling memoffset v0.6.3
[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 rayon-core v1.9.0
[INFO] [stderr]    Compiling cast v0.2.3
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.3
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling itoa v0.4.7
[INFO] [stderr]    Compiling crossbeam-channel v0.5.0
[INFO] [stderr]    Compiling crossbeam-deque v0.8.0
[INFO] [stderr]    Compiling rayon v1.5.0
[INFO] [stderr]    Compiling plotters-backend v0.3.0
[INFO] [stderr]    Compiling regex-automata v0.1.9
[INFO] [stderr]    Compiling plotters-svg v0.3.0
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling csv-core v0.1.10
[INFO] [stderr]    Compiling half v1.7.1
[INFO] [stderr]    Compiling regex-syntax v0.6.23
[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 parking_lot v0.11.1
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling criterion-plot v0.4.3
[INFO] [stderr]    Compiling plotters v0.3.0
[INFO] [stderr]    Compiling walkdir v2.3.2
[INFO] [stderr]    Compiling structopt-derive v0.4.14
[INFO] [stderr]    Compiling toml v0.5.8
[INFO] [stderr]    Compiling serde_json v1.0.64
[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 regex v1.4.5
[INFO] [stderr]    Compiling proc-macro-crate v1.0.0
[INFO] [stderr]    Compiling dialectic-compiler v0.1.0
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling oorandom v11.1.3
[INFO] [stderr]    Compiling structopt v0.3.21
[INFO] [stderr]    Compiling colored v2.0.0
[INFO] [stderr]    Compiling tokio-util v0.6.5
[INFO] [stderr]    Compiling dialectic-macro v0.1.0
[INFO] [stderr]    Compiling dialectic v0.4.1 (/opt/rustwide/workdir)
[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 criterion v0.3.4
[INFO] [stderr]    Compiling dialectic-tokio-serde v0.1.0
[INFO] [stderr]    Compiling dialectic-null v0.1.0
[INFO] [stderr]    Compiling dialectic-tokio-mpsc v0.1.0
[INFO] [stderr]    Compiling dialectic-tokio-serde-bincode v0.1.0
[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: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: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: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: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: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[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/debug/examples/common-1fd8868c9c28be49.long-type-11302046549394244073.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::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::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: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 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: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: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: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: 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 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] 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: 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 "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::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: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::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: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::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: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: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[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/debug/examples/hello-4bd5420d6145a970.long-type-16270599762338969438.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: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[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[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: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: 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::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: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::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] 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 "hello") 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/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/debug/examples/template-2dc9ac84fd718386.long-type-1018877189495217462.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/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] [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/debug/examples/stack-d66fece812ca7a04.long-type-5523785333001022905.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[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] 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] 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 "stack") 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/debug/examples/tally-f084aa7d3ace3ebd.long-type-9957421863715167754.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" "9a95b54713ea0628d2b45ba6fd6184d827e701329b92e50204f5099c0fd5af3c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9a95b54713ea0628d2b45ba6fd6184d827e701329b92e50204f5099c0fd5af3c", kill_on_drop: false }`
[INFO] [stdout] 9a95b54713ea0628d2b45ba6fd6184d827e701329b92e50204f5099c0fd5af3c
