error[E0308]: mismatched types
  --> $DIR/long-E0308.rs:48:9
   |
LL |        let x: Atype<
   |  _____________-
LL | |        Btype<
LL | |          Ctype<
LL | |            Atype<
...  |
LL | |        i32
LL | |      > = Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok...
   | | _____-___^
   | ||_____|
   |  |     expected due to this
LL |  |         Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok...
LL |  |             Ok("")
LL |  |         ))))))))))))))))))))))))))))))
LL |  |     ))))))))))))))))))))))))))))));
   |  |__________________________________^ expected `Atype<Btype<Ctype<..., i32>, i32>, i32>`, found `Result<Result<Result<..., _>, _>, _>`
   |
   = note: expected struct `Atype<Btype<..., i32>, i32>`
                found enum `Result<Result<..., _>, _>`
   = note: the full name for the type has been written to '$TEST_BUILD_DIR/$FILE.long-type-hash.txt'
   = note: consider using `--verbose` to print the full type name to the console

error[E0308]: mismatched types
  --> $DIR/long-E0308.rs:61:26
   |
LL |       ))))))))))))))))) == Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(O...
   |  __________________________^
LL | |         Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(...
LL | |             Ok(Ok(Ok(Ok(Ok(Ok(Ok("")))))))
LL | |         ))))))))))))))))))))))))))))))
LL | |     ))))))))))))))))))))))));
   | |____________________________^ expected `Option<Result<Option<Option<...>>, _>>`, found `Result<Result<Result<..., _>, _>, _>`
   |
   = note: expected enum `Option<Result<Option<...>, _>>`
              found enum `Result<Result<..., _>, _>`
   = note: the full name for the type has been written to '$TEST_BUILD_DIR/$FILE.long-type-hash.txt'
   = note: consider using `--verbose` to print the full type name to the console

error[E0308]: mismatched types
  --> $DIR/long-E0308.rs:92:9
   |
LL |       let x: Atype<
   |  ____________-
LL | |       Btype<
LL | |         Ctype<
LL | |           Atype<
...  |
LL | |       i32
LL | |     > = ();
   | |     -   ^^ expected `Atype<Btype<Ctype<..., i32>, i32>, i32>`, found `()`
   | |_____|
   |       expected due to this
   |
   = note: expected struct `Atype<Btype<..., i32>, i32>`
           found unit type `()`
   = note: the full name for the type has been written to '$TEST_BUILD_DIR/$FILE.long-type-hash.txt'
   = note: consider using `--verbose` to print the full type name to the console

error[E0308]: mismatched types
  --> $DIR/long-E0308.rs:95:17
   |
LL |       let _: () = Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(O...
   |  ____________--___^
   | |            |
   | |            expected due to this
LL | |         Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(Ok(...
LL | |             Ok(Ok(Ok(Ok(Ok(Ok(Ok("")))))))
LL | |         ))))))))))))))))))))))))))))))
LL | |     ))))))))))))))))))))))));
   | |____________________________^ expected `()`, found `Result<Result<Result<..., _>, _>, _>`
   |
   = note: expected unit type `()`
                   found enum `Result<Result<..., _>, _>`
   = note: the full name for the type has been written to '$TEST_BUILD_DIR/$FILE.long-type-hash.txt'
   = note: consider using `--verbose` to print the full type name to the console

error: aborting due to 4 previous errors

For more information about this error, try `rustc --explain E0308`.