summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type/type-check/assignment-expected-bool.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type/type-check/assignment-expected-bool.rs')
-rw-r--r--src/test/ui/type/type-check/assignment-expected-bool.rs34
1 files changed, 0 insertions, 34 deletions
diff --git a/src/test/ui/type/type-check/assignment-expected-bool.rs b/src/test/ui/type/type-check/assignment-expected-bool.rs
deleted file mode 100644
index 191939bdb..000000000
--- a/src/test/ui/type/type-check/assignment-expected-bool.rs
+++ /dev/null
@@ -1,34 +0,0 @@
-// 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]
-}