1 files changed, 5 insertions, 197 deletions

diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs
index 081bfe37c..cd5a05092 100644
--- a/crates/ra_hir/src/ty/tests.rs
+++ b/crates/ra_hir/src/ty/tests.rs
@@ -21,6 +21,7 @@ use crate::{
 // update the snapshots.
 
 mod never_type;
+mod coercion;
 
 #[test]
 fn infer_await() {
@@ -926,196 +927,6 @@ fn test(a: A<i32>) {
 }
 
 #[test]
-fn infer_if_coerce() {
-    assert_snapshot!(
-        infer(r#"
-fn foo<T>(x: &[T]) -> &[T] { loop {} }
-fn test() {
-    let x = if true {
-        foo(&[1])
-    } else {
-        &[1]
-    };
-}
-"#),
-        @r###"
-    [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': !
-    [30; 37) 'loop {}': !
-    [35; 37) '{}': ()
-    [50; 126) '{     ...  }; }': ()
-    [60; 61) 'x': &[i32]
-    [64; 123) 'if tru...     }': &[i32]
-    [67; 71) 'true': bool
-    [72; 97) '{     ...     }': &[i32]
-    [82; 85) 'foo': fn foo<i32>(&[T]) -> &[T]
-    [82; 91) 'foo(&[1])': &[i32]
-    [86; 90) '&[1]': &[i32;_]
-    [87; 90) '[1]': [i32;_]
-    [88; 89) '1': i32
-    [103; 123) '{     ...     }': &[i32;_]
-    [113; 117) '&[1]': &[i32;_]
-    [114; 117) '[1]': [i32;_]
-    [115; 116) '1': i32
-"###
-    );
-}
-
-#[test]
-fn infer_if_else_coerce() {
-    assert_snapshot!(
-        infer(r#"
-fn foo<T>(x: &[T]) -> &[T] { loop {} }
-fn test() {
-    let x = if true {
-        &[1]
-    } else {
-        foo(&[1])
-    };
-}
-"#),
-        @r###"
-    [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': !
-    [30; 37) 'loop {}': !
-    [35; 37) '{}': ()
-    [50; 126) '{     ...  }; }': ()
-    [60; 61) 'x': &[i32]
-    [64; 123) 'if tru...     }': &[i32]
-    [67; 71) 'true': bool
-    [72; 92) '{     ...     }': &[i32;_]
-    [82; 86) '&[1]': &[i32;_]
-    [83; 86) '[1]': [i32;_]
-    [84; 85) '1': i32
-    [98; 123) '{     ...     }': &[i32]
-    [108; 111) 'foo': fn foo<i32>(&[T]) -> &[T]
-    [108; 117) 'foo(&[1])': &[i32]
-    [112; 116) '&[1]': &[i32;_]
-    [113; 116) '[1]': [i32;_]
-    [114; 115) '1': i32
-"###
-    );
-}
-
-#[test]
-fn infer_match_first_coerce() {
-    assert_snapshot!(
-        infer(r#"
-fn foo<T>(x: &[T]) -> &[T] { loop {} }
-fn test(i: i32) {
-    let x = match i {
-        2 => foo(&[2]),
-        1 => &[1],
-        _ => &[3],
-    };
-}
-"#),
-        @r###"
-    [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': !
-    [30; 37) 'loop {}': !
-    [35; 37) '{}': ()
-    [48; 49) 'i': i32
-    [56; 150) '{     ...  }; }': ()
-    [66; 67) 'x': &[i32]
-    [70; 147) 'match ...     }': &[i32]
-    [76; 77) 'i': i32
-    [88; 89) '2': i32
-    [93; 96) 'foo': fn foo<i32>(&[T]) -> &[T]
-    [93; 102) 'foo(&[2])': &[i32]
-    [97; 101) '&[2]': &[i32;_]
-    [98; 101) '[2]': [i32;_]
-    [99; 100) '2': i32
-    [112; 113) '1': i32
-    [117; 121) '&[1]': &[i32;_]
-    [118; 121) '[1]': [i32;_]
-    [119; 120) '1': i32
-    [131; 132) '_': i32
-    [136; 140) '&[3]': &[i32;_]
-    [137; 140) '[3]': [i32;_]
-    [138; 139) '3': i32
-    "###
-    );
-}
-
-#[test]
-fn infer_match_second_coerce() {
-    assert_snapshot!(
-        infer(r#"
-fn foo<T>(x: &[T]) -> &[T] { loop {} }
-fn test(i: i32) {
-    let x = match i {
-        1 => &[1],
-        2 => foo(&[2]),
-        _ => &[3],
-    };
-}
-"#),
-        @r###"
-    [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': !
-    [30; 37) 'loop {}': !
-    [35; 37) '{}': ()
-    [48; 49) 'i': i32
-    [56; 150) '{     ...  }; }': ()
-    [66; 67) 'x': &[i32]
-    [70; 147) 'match ...     }': &[i32]
-    [76; 77) 'i': i32
-    [88; 89) '1': i32
-    [93; 97) '&[1]': &[i32;_]
-    [94; 97) '[1]': [i32;_]
-    [95; 96) '1': i32
-    [107; 108) '2': i32
-    [112; 115) 'foo': fn foo<i32>(&[T]) -> &[T]
-    [112; 121) 'foo(&[2])': &[i32]
-    [116; 120) '&[2]': &[i32;_]
-    [117; 120) '[2]': [i32;_]
-    [118; 119) '2': i32
-    [131; 132) '_': i32
-    [136; 140) '&[3]': &[i32;_]
-    [137; 140) '[3]': [i32;_]
-    [138; 139) '3': i32
-    "###
-    );
-}
-
-#[test]
-fn coerce_merge_one_by_one1() {
-    covers!(coerce_merge_fail_fallback);
-
-    assert_snapshot!(
-        infer(r#"
-fn test() {
-    let t = &mut 1;
-    let x = match 1 {
-        1 => t as *mut i32,
-        2 => t as &i32,
-        _ => t as *const i32,
-    };
-}
-"#),
-        @r###"
-    [11; 145) '{     ...  }; }': ()
-    [21; 22) 't': &mut i32
-    [25; 31) '&mut 1': &mut i32
-    [30; 31) '1': i32
-    [41; 42) 'x': *const i32
-    [45; 142) 'match ...     }': *const i32
-    [51; 52) '1': i32
-    [63; 64) '1': i32
-    [68; 69) 't': &mut i32
-    [68; 81) 't as *mut i32': *mut i32
-    [91; 92) '2': i32
-    [96; 97) 't': &mut i32
-    [96; 105) 't as &i32': &i32
-    [115; 116) '_': i32
-    [120; 121) 't': &mut i32
-    [120; 135) 't as *const i32': *const i32
-    "###
-    );
-}
-
-#[test]
 fn bug_484() {
     assert_snapshot!(
         infer(r#"
@@ -1302,7 +1113,6 @@ fn test(x: &str, y: isize) {
 }
 "#),
         @r###"
-
     [9; 10) 'x': &str
     [18; 19) 'y': isize
     [28; 324) '{     ... 3]; }': ()
@@ -1355,7 +1165,7 @@ fn test(x: &str, y: isize) {
     [260; 263) '"b"': &str
     [275; 276) 'x': [u8;_]
     [288; 290) '[]': [u8;_]
-    [300; 301) 'z': &[u8;_]
+    [300; 301) 'z': &[u8]
     [311; 321) '&[1, 2, 3]': &[u8;_]
     [312; 321) '[1, 2, 3]': [u8;_]
     [313; 314) '1': u8
@@ -2288,10 +2098,9 @@ fn test() {
 }
 "#),
         @r###"
-
     [11; 48) '{     ...&y]; }': ()
     [21; 22) 'y': &{unknown}
-    [25; 32) 'unknown': &{unknown}
+    [25; 32) 'unknown': &&{unknown}
     [38; 45) '[y, &y]': [&&{unknown};_]
     [39; 40) 'y': &{unknown}
     [42; 44) '&y': &&{unknown}
@@ -2313,12 +2122,11 @@ fn test() {
 }
 "#),
         @r###"
-
     [11; 80) '{     ...x)]; }': ()
     [21; 22) 'x': &&{unknown}
-    [25; 32) 'unknown': &&{unknown}
+    [25; 32) 'unknown': &&&{unknown}
     [42; 43) 'y': &&{unknown}
-    [46; 53) 'unknown': &&{unknown}
+    [46; 53) 'unknown': &&&{unknown}
     [59; 77) '[(x, y..., &x)]': [(&&{unknown}, &&{unknown});_]
     [60; 66) '(x, y)': (&&{unknown}, &&{unknown})
     [61; 62) 'x': &&{unknown}