error[E0275]: overflow evaluating the requirement `mpstthree::binary::struct_trait::send::Send<i32, Recv<i32, mpstthree::binary::struct_trait::send::Send<i32, Recv<..., ...>>>>: std::marker::Send`
  --> tests/infinite_type/fail_3.rs:12:10
   |
12 |     More(Send<i32, Recv<i32, Send<i32, Recv<i32, Recv<Self, End>>>>>),
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
note: required because it appears within the type `SumOp`
  --> tests/infinite_type/fail_3.rs:11:6
   |
11 | enum SumOp {
   |      ^^^^^
   = note: required for `Recv<SumOp, mpstthree::binary::struct_trait::end::End>` to implement `Session`

error[E0275]: overflow evaluating the requirement `Recv<SumOp, mpstthree::binary::struct_trait::end::End>: Session`
  --> tests/infinite_type/fail_3.rs:18:23
   |
18 | fn nice_sum_server(s: NiceSumServer) -> Result<(), Box<dyn Error>> {
   |                       ^^^^^^^^^^^^^
   |
   = note: required for `Recv<i32, Recv<SumOp, mpstthree::binary::struct_trait::end::End>>` to implement `Session`
note: required because it appears within the type `Send<i32, Recv<i32, Send<i32, Recv<i32, Recv<SumOp, End>>>>>`
  --> src/binary/struct_trait/send.rs
   |
   | pub struct Send<T, S>
   |            ^^^^
note: required because it appears within the type `SumOp`
  --> tests/infinite_type/fail_3.rs:11:6
   |
11 | enum SumOp {
   |      ^^^^^
note: required by a bound in `Recv`
  --> src/binary/struct_trait/recv.rs
   |
   | pub struct Recv<T, S>
   |            ---- required by a bound in this struct
   | where
   |     T: marker::Send,
   |        ^^^^^^^^^^^^ required by this bound in `Recv`

error[E0275]: overflow evaluating the requirement `Recv<SumOp, mpstthree::binary::struct_trait::end::End>: Session`
  --> tests/infinite_type/fail_3.rs:22:29
   |
22 | fn nice_sum_server_accum(s: NiceSumServer, x: i32) -> Result<(), Box<dyn Error>> {
   |                             ^^^^^^^^^^^^^
   |
   = note: required for `Recv<i32, Recv<SumOp, mpstthree::binary::struct_trait::end::End>>` to implement `Session`
note: required because it appears within the type `Send<i32, Recv<i32, Send<i32, Recv<i32, Recv<SumOp, End>>>>>`
  --> src/binary/struct_trait/send.rs
   |
   | pub struct Send<T, S>
   |            ^^^^
note: required because it appears within the type `SumOp`
  --> tests/infinite_type/fail_3.rs:11:6
   |
11 | enum SumOp {
   |      ^^^^^
note: required by a bound in `Recv`
  --> src/binary/struct_trait/recv.rs
   |
   | pub struct Recv<T, S>
   |            ---- required by a bound in this struct
   | where
   |     T: marker::Send,
   |        ^^^^^^^^^^^^ required by this bound in `Recv`

error[E0275]: overflow evaluating the requirement `Recv<SumOp, mpstthree::binary::struct_trait::end::End>: Session`
  --> tests/infinite_type/fail_3.rs:38:29
   |
38 | fn nice_sum_client_accum(s: NiceSumClient, mut xs: Vec<i32>) -> Result<i32, Box<dyn Error>> {
   |                             ^^^^^^^^^^^^^
   |
   = note: required for `Recv<i32, Recv<SumOp, mpstthree::binary::struct_trait::end::End>>` to implement `Session`
note: required because it appears within the type `Send<i32, Recv<i32, Send<i32, Recv<i32, Recv<SumOp, End>>>>>`
  --> src/binary/struct_trait/send.rs
   |
   | pub struct Send<T, S>
   |            ^^^^
note: required because it appears within the type `SumOp`
  --> tests/infinite_type/fail_3.rs:11:6
   |
11 | enum SumOp {
   |      ^^^^^
   = note: required for `Recv<SumOp, mpstthree::binary::struct_trait::end::End>` to implement `Session`