E0308 rust type_error ai_generated true

error[E0308]: `if` and `else` have incompatible types

ID: rust/e0308-incompatible-types-in-if-and-else

Also available as: JSON · Markdown · 中文

92%Fix Rate

88%Confidence

1Evidence

2023-03-10First Seen

Version Compatibility

Version	Status	Introduced	Deprecated	Notes
rustc 1.60.0	active	—	—	—
rustc 1.65.0	active	—	—	—
rustc 1.72.0	active	—	—	—

The if and else branches of an if-else expression return different types, which Rust's type system cannot unify.

generic

if-else 表达式的两个分支返回了不同的类型，Rust 的类型系统无法统一它们。

80% success Use explicit type conversion: `let x = if cond { 42_i32 } else { "hello".parse::<i32>().unwrap_or(0) };`
```
Use explicit type conversion: `let x = if cond { 42_i32 } else { "hello".parse::<i32>().unwrap_or(0) };`
```
90% success Use a trait object: `let x: Box<dyn std::fmt::Display> = if cond { Box::new(42) } else { Box::new("hello") };`
```
Use a trait object: `let x: Box<dyn std::fmt::Display> = if cond { Box::new(42) } else { Box::new("hello") };`
```
95% success Use an enum: `enum MyEnum { Int(i32), Str(&'static str) } let x = if cond { MyEnum::Int(42) } else { MyEnum::Str("hello") };`
```
Use an enum: `enum MyEnum { Int(i32), Str(&'static str) } let x = if cond { MyEnum::Int(42) } else { MyEnum::Str("hello") };`
```

使用显式类型转换：`let x = if cond { 42_i32 } else { "hello".parse::<i32>().unwrap_or(0) };`

使用特征对象：`let x: Box<dyn std::fmt::Display> = if cond { Box::new(42) } else { Box::new("hello") };`

使用枚举：`enum MyEnum { Int(i32), Str(&'static str) } let x = if cond { MyEnum::Int(42) } else { MyEnum::Str("hello") };`

Common approaches that don't work:

95% fail
Type annotations don't magically convert types. The else branch still returns a &str, not an i32.
75% fail
Return makes the branch diverge (never produce a value), so the types can still mismatch if the other branch has a different type.
85% fail
Box<dyn Trait> requires both types to implement the same trait, but Box::new alone doesn't create a trait object.