| 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`. |