Missing `else` Clause in `if` expr That Returns Should Produce Type Mismatch Error #3230

nobel-sh · 2024-10-28T17:14:04Z

If the if expr returns a type T then else is expected to produce the same type T but in absence of else branch it return a () type. However, gccrs does not enforce this check.

fn foo(pred: bool) -> u8 {
    if pred {
        1
    }
    3
}
fn main(){
}

rustc:

error[E0308]: mismatched types
 --> <source>:3:9
  |
2 | /     if pred {
3 | |         1
  | |         ^ expected `()`, found integer
4 | |     }
  | |_____- expected this to be `()`
  |
help: you might have meant to return this value
  |
3 |         return 1;
  |         ++++++  +

error: aborting due to 1 previous error

gccrs: Compiles sucessfully

godbolt: https://godbolt.org/z/xnczfjznT

The text was updated successfully, but these errors were encountered:

Kamiinarii78 linked a pull request Dec 16, 2024 that will close this issue

Add type check on if-expr #3306

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Missing `else` Clause in `if` expr That Returns Should Produce Type Mismatch Error #3230

Missing `else` Clause in `if` expr That Returns Should Produce Type Mismatch Error #3230

nobel-sh commented Oct 28, 2024

Missing else Clause in if expr That Returns Should Produce Type Mismatch Error #3230

Missing else Clause in if expr That Returns Should Produce Type Mismatch Error #3230

Comments

nobel-sh commented Oct 28, 2024

Missing `else` Clause in `if` expr That Returns Should Produce Type Mismatch Error #3230

Missing `else` Clause in `if` expr That Returns Should Produce Type Mismatch Error #3230