bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add more tests

Browse source
This commit is contained in:
varkor 2020-02-09 01:51:13 +00:00
parent 38060567e8
commit 0276d7a32e
1 changed files with 17 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

17
src/test/ui/inference/infer-binary-operand-behind-reference.rs
View file

@ -1,6 +1,8 @@
// check-pass // check-pass
fn main() { 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 _: u8 = &0 + 0; let _: u8 = &0 + 0;
@ -10,4 +12,19 @@ fn main() {
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 _: 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;
} }