error[E0308]: mismatched types
  --> $DIR/issue-11714.rs:11:18
   |
11 |   fn blah() -> i32 { //~ ERROR mismatched types
   |  __________________^
12 | |     1
13 | |
14 | |     ; //~ HELP consider removing this semicolon:
15 | | }
   | |_^ expected i32, found ()
   |
   = note: expected type `i32`
              found type `()`
help: consider removing this semicolon:
  --> $DIR/issue-11714.rs:14:5
   |
14 |     ; //~ HELP consider removing this semicolon:
   |     ^

error: aborting due to previous error(s)