summaryrefslogtreecommitdiffstats
path: root/src/test/ui/inference/infer-binary-operand-behind-reference.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/inference/infer-binary-operand-behind-reference.rs')
-rw-r--r--src/test/ui/inference/infer-binary-operand-behind-reference.rs30
1 files changed, 0 insertions, 30 deletions
diff --git a/src/test/ui/inference/infer-binary-operand-behind-reference.rs b/src/test/ui/inference/infer-binary-operand-behind-reference.rs
deleted file mode 100644
index 0c0a3171e..000000000
--- a/src/test/ui/inference/infer-binary-operand-behind-reference.rs
+++ /dev/null
@@ -1,30 +0,0 @@
-// check-pass
-
-fn main() {
- // Test that we can infer the type of binary operands when
- // references are involved, on various types and operators.
- let _: u8 = 0 + 0;
- let _: u8 = 0 + &0;
- let _: u8 = &0 + 0;
- let _: u8 = &0 + &0;
-
- let _: f32 = 0.0 + 0.0;
- let _: f32 = 0.0 + &0.0;
- let _: f32 = &0.0 + 0.0;
- let _: f32 = &0.0 + &0.0;
-
- let _: u8 = 0 << 0;
- let _: u8 = 0 << &0;
- let _: u8 = &0 << 0;
- let _: u8 = &0 << &0;
-
- // Test type inference when variable types are indirectly inferred.
- let a = 22;
- let _: usize = a + &44;
-
- // When we have no expected type, the types of the operands is the default type.
- let _ = 0 + 0;
- let _ = 0 + &0;
- let _ = &0 + 0;
- let _ = &0 + &0;
-}