error[E0282]: type annotations needed
  --> $DIR/two_tait_defining_each_other2.rs:12:8
   |
LL | fn muh(x: A) -> B {
   |        ^ cannot infer type

error[E0282]: type annotations needed
  --> $DIR/two_tait_defining_each_other2.rs:14:5
   |
LL |     x // B's hidden type is A (opaquely)
   |     ^ cannot infer type

error: aborting due to 2 previous errors

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