2020-07-22 12:01:56 -07:00
|
|
|
// This is not autofixable because we give extra suggestions to end the first expression with `;`.
|
|
|
|
|
fn foo(a: Option<u32>, b: Option<u32>) -> bool {
|
|
|
|
|
if let Some(x) = a { true } else { false }
|
|
|
|
|
//~^ ERROR mismatched types
|
|
|
|
|
//~| ERROR mismatched types
|
|
|
|
|
&& //~ ERROR mismatched types
|
|
|
|
|
if let Some(y) = a { true } else { false }
|
|
|
|
|
}
|
|
|
|
|
|
2025-09-02 00:02:16 +00:00
|
|
|
fn bar() -> bool {
|
|
|
|
|
false
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
|
if true { true } else { false } && true;
|
|
|
|
|
//~^ ERROR mismatched types
|
|
|
|
|
//~| ERROR mismatched types
|
|
|
|
|
if true { true } else { false } && if true { true } else { false };
|
|
|
|
|
//~^ ERROR mismatched types
|
|
|
|
|
//~| ERROR mismatched types
|
|
|
|
|
if true { true } else { false } if true { true } else { false };
|
|
|
|
|
//~^ ERROR mismatched types
|
|
|
|
|
//~| ERROR mismatched types
|
|
|
|
|
if true { bar() } else { bar() } && if true { bar() } else { bar() };
|
|
|
|
|
//~^ ERROR mismatched types
|
|
|
|
|
//~| ERROR mismatched types
|
|
|
|
|
if true { bar() } else { bar() } if true { bar() } else { bar() };
|
|
|
|
|
//~^ ERROR mismatched types
|
|
|
|
|
//~| ERROR mismatched types
|
|
|
|
|
let _ = if true { true } else { false } && true; // ok
|
|
|
|
|
}
|