error[E0720]: cannot resolve opaque type
  --> $DIR/recursive-fn-tait.rs:15:6
   |
LL | ) -> Diff {
   |      ^^^^

error: aborting due to 1 previous error

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