1error[E0308]: mismatched types
2  --> $DIR/issue-84128.rs:13:13
3   |
4LL |         Foo(())
5   |             ^^ expected integer, found `()`
6   |
7note: return type inferred to be `{integer}` here
8  --> $DIR/issue-84128.rs:10:20
9   |
10LL |             return Foo(0);
11   |                    ^^^^^^
12
13error: aborting due to previous error
14
15For more information about this error, try `rustc --explain E0308`.
16