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

[nobel-sh]

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