Error message inconsistent

[hfiguiere]

Try to compile the following message:

fn foo () -> i32 {
22;
}

fn foo2 () -> u32 {
22;
}

pub fn main() {
}

rust_bug.rs:1:1: 3:2 error: not all control paths return a value [E0269]
rust_bug.rs:1 fn foo () -> i32 {
rust_bug.rs:2 22;
rust_bug.rs:3 }
rust_bug.rs:2:3: 2:4 help: consider removing this semicolon:
rust_bug.rs:2 22;
                ^
rust_bug.rs:5:1: 7:2 error: not all control paths return a value [E0269]
rust_bug.rs:5 fn foo2 () -> u32 {
rust_bug.rs:6 22;
rust_bug.rs:7 }
error: aborting due to 2 previous errors

[hfiguiere]

Same error, one case give help message. The other doesn't. It all depend of the return type.

Expected: to get the help message.

[hfiguiere]

This was found during the Tutorial session at #mozwww

[steveklabnik]

Tricky!

[arielb1]

This occurs because of integer fallback (22 falls back to 22i32). May still want to fix that through.

[estebank]

This is fixed in stable:

rustc 1.15.1 (021bd294c 2017-02-08)
error[E0308]: mismatched types
 --> <anon>:1:17
  |
1 |   fn foo() -> i32 {
  |  _________________^ starting here...
2 | |     22;
3 | | }
  | |_^ ...ending here: expected i32, found ()
  |
  = note: expected type `i32`
  = note:    found type `()`
help: consider removing this semicolon:
 --> <anon>:2:7
  |
2 |     22;
  |       ^

error[E0308]: mismatched types
 --> <anon>:5:18
  |
5 |   fn foo2() -> u32 {
  |  __________________^ starting here...
6 | |     22;
7 | | }
  | |_^ ...ending here: expected u32, found ()
  |
  = note: expected type `u32`
  = note:    found type `()`
help: consider removing this semicolon:
 --> <anon>:6:7
  |
6 |     22;
  |       ^

error: aborting due to 2 previous errors

[Mark-Simulacrum]

Closing as per the previous comment; this is now fixed.