Support all coercion places

1 files changed, 97 insertions, 6 deletions

diff --git a/crates/ra_hir/src/ty/tests/coercion.rs b/crates/ra_hir/src/ty/tests/coercion.rs
index d80d3fb6f..1530fcc63 100644
--- a/crates/ra_hir/src/ty/tests/coercion.rs
+++ b/crates/ra_hir/src/ty/tests/coercion.rs
@@ -20,6 +20,97 @@ fn infer(source: &str) -> String {
 }
 
 #[test]
+fn infer_block_expr_type_mismatch() {
+    assert_snapshot!(
+        infer(r#"
+fn test() {
+    let a: i32 = { 1i64 };
+}
+"#),
+        @r###"
+    [11; 41) '{     ...4 }; }': ()
+    [21; 22) 'a': i32
+    [30; 38) '{ 1i64 }': i64
+    [32; 36) '1i64': i64
+    "###);
+}
+
+#[test]
+fn coerce_places() {
+    assert_snapshot!(
+        infer(r#"
+struct S<T> { a: T }
+
+fn f<T>(_: &[T]) -> T { loop {} }
+fn g<T>(_: S<&[T]>) -> T { loop {} }
+
+fn gen<T>() -> *mut [T; 2] { loop {} }
+fn test1<U>() -> *mut [U] {
+    gen()
+}
+
+fn test2() {
+    let arr: &[u8; 1] = &[1];
+
+    let a: &[_] = arr;
+    let b = f(arr);
+    let c: &[_] = { arr };
+    let d = g(S { a: arr });
+    let e: [&[_]; 1] = [arr];
+    let f: [&[_]; 2] = [arr; 2];
+    let g: (&[_], &[_]) = (arr, arr);
+}
+"#),
+        @r###"
+    [31; 32) '_': &[T]
+    [45; 56) '{ loop {} }': T
+    [47; 54) 'loop {}': !
+    [52; 54) '{}': ()
+    [65; 66) '_': S<&[T]>
+    [82; 93) '{ loop {} }': T
+    [84; 91) 'loop {}': !
+    [89; 91) '{}': ()
+    [122; 133) '{ loop {} }': *mut [T;_]
+    [124; 131) 'loop {}': !
+    [129; 131) '{}': ()
+    [160; 173) '{     gen() }': *mut [U]
+    [166; 169) 'gen': fn gen<U>() -> *mut [T;_]
+    [166; 171) 'gen()': *mut [U;_]
+    [186; 420) '{     ...rr); }': ()
+    [196; 199) 'arr': &[u8;_]
+    [212; 216) '&[1]': &[u8;_]
+    [213; 216) '[1]': [u8;_]
+    [214; 215) '1': u8
+    [227; 228) 'a': &[u8]
+    [237; 240) 'arr': &[u8;_]
+    [250; 251) 'b': u8
+    [254; 255) 'f': fn f<u8>(&[T]) -> T
+    [254; 260) 'f(arr)': u8
+    [256; 259) 'arr': &[u8;_]
+    [270; 271) 'c': &[u8]
+    [280; 287) '{ arr }': &[u8]
+    [282; 285) 'arr': &[u8;_]
+    [297; 298) 'd': u8
+    [301; 302) 'g': fn g<u8>(S<&[T]>) -> T
+    [301; 316) 'g(S { a: arr })': u8
+    [303; 315) 'S { a: arr }': S<&[u8]>
+    [310; 313) 'arr': &[u8;_]
+    [326; 327) 'e': [&[u8];_]
+    [341; 346) '[arr]': [&[u8];_]
+    [342; 345) 'arr': &[u8;_]
+    [356; 357) 'f': [&[u8];_]
+    [371; 379) '[arr; 2]': [&[u8];_]
+    [372; 375) 'arr': &[u8;_]
+    [377; 378) '2': usize
+    [389; 390) 'g': (&[u8], &[u8])
+    [407; 417) '(arr, arr)': (&[u8], &[u8])
+    [408; 411) 'arr': &[u8;_]
+    [413; 416) 'arr': &[u8;_]
+    "###
+    );
+}
+
+#[test]
 fn infer_let_stmt_coerce() {
     assert_snapshot!(
         infer(r#"
@@ -102,7 +193,7 @@ fn test() {
 "#),
         @r###"
     [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': !
+    [28; 39) '{ loop {} }': &[T]
     [30; 37) 'loop {}': !
     [35; 37) '{}': ()
     [50; 126) '{     ...  }; }': ()
@@ -119,7 +210,7 @@ fn test() {
     [113; 117) '&[1]': &[i32;_]
     [114; 117) '[1]': [i32;_]
     [115; 116) '1': i32
-"###
+    "###
     );
 }
 
@@ -138,7 +229,7 @@ fn test() {
 "#),
         @r###"
     [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': !
+    [28; 39) '{ loop {} }': &[T]
     [30; 37) 'loop {}': !
     [35; 37) '{}': ()
     [50; 126) '{     ...  }; }': ()
@@ -155,7 +246,7 @@ fn test() {
     [112; 116) '&[1]': &[i32;_]
     [113; 116) '[1]': [i32;_]
     [114; 115) '1': i32
-"###
+    "###
     );
 }
 
@@ -174,7 +265,7 @@ fn test(i: i32) {
 "#),
         @r###"
     [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': !
+    [28; 39) '{ loop {} }': &[T]
     [30; 37) 'loop {}': !
     [35; 37) '{}': ()
     [48; 49) 'i': i32
@@ -215,7 +306,7 @@ fn test(i: i32) {
 "#),
         @r###"
     [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': !
+    [28; 39) '{ loop {} }': &[T]
     [30; 37) 'loop {}': !
     [35; 37) '{}': ()
     [48; 49) 'i': i32