error[E0282]: type annotations needed
  --> $DIR/nested-tait-inference2.rs:20:5
   |
LL |     ()
   |     ^^ cannot infer type

error: aborting due to 1 previous error

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