mirror of https://github.com/rust-lang/rust
40 lines
1.2 KiB
Rust
40 lines
1.2 KiB
Rust
// The purpose of this text is to ensure that we get good
|
|
// diagnostics when a `bool` is expected but that due to
|
|
// an assignment expression `x = y` the type is `()`.
|
|
|
|
fn main() {
|
|
let _: bool = 0 = 0; //~ ERROR mismatched types [E0308]
|
|
|
|
let _: bool = match 0 {
|
|
0 => 0 = 0, //~ ERROR mismatched types [E0308]
|
|
_ => 0 = 0, //~ ERROR mismatched types [E0308]
|
|
};
|
|
|
|
let _: bool = match true {
|
|
true => 0 = 0, //~ ERROR mismatched types [E0308]
|
|
_ => (),
|
|
};
|
|
|
|
if 0 = 0 {} //~ ERROR mismatched types [E0308]
|
|
|
|
let _: bool = if { 0 = 0 } { //~ ERROR mismatched types [E0308]
|
|
0 = 0 //~ ERROR mismatched types [E0308]
|
|
} else {
|
|
0 = 0 //~ ERROR mismatched types [E0308]
|
|
};
|
|
|
|
let _ = (0 = 0) //~ ERROR mismatched types [E0308]
|
|
&& { 0 = 0 } //~ ERROR mismatched types [E0308]
|
|
|| (0 = 0); //~ ERROR mismatched types [E0308]
|
|
|
|
// A test to check that not expecting `bool` behaves well:
|
|
let _: usize = 0 = 0;
|
|
//~^ ERROR mismatched types [E0308]
|
|
//~| ERROR invalid left-hand side of assignment [E0070]
|
|
|
|
let foo = &String::new();
|
|
let bar = "";
|
|
if foo = bar {}
|
|
//~^ ERROR mismatched types [E0308]
|
|
}
|