1 files changed, 31 insertions, 6 deletions

diff --git a/crates/ra_hir_ty/src/tests/traits.rs b/crates/ra_hir_ty/src/tests/traits.rs
index f009a708c..22ae6ca90 100644
--- a/crates/ra_hir_ty/src/tests/traits.rs
+++ b/crates/ra_hir_ty/src/tests/traits.rs
@@ -263,7 +263,7 @@ fn test() {
     [119; 120) 'S': S<u32>(u32) -> S<u32>
     [119; 129) 'S(unknown)': S<u32>
     [121; 128) 'unknown': u32
-    [135; 138) 'foo': fn foo<S<u32>>(S<u32>) -> ()
+    [135; 138) 'foo': fn foo<S<u32>>(S<u32>)
     [135; 141) 'foo(s)': ()
     [139; 140) 's': S<u32>
     "###
@@ -962,7 +962,7 @@ fn test(x: impl Trait<u64>, y: &impl Trait<u32>) {
     [224; 225) 'S': S<u16>(u16) -> S<u16>
     [224; 228) 'S(1)': S<u16>
     [226; 227) '1': u16
-    [234; 237) 'bar': fn bar(S<u16>) -> ()
+    [234; 237) 'bar': fn bar(S<u16>)
     [234; 240) 'bar(z)': ()
     [238; 239) 'z': S<u16>
     [246; 247) 'x': impl Trait<u64>
@@ -1108,8 +1108,8 @@ fn test() {
     [40; 47) 'loop {}': !
     [45; 47) '{}': ()
     [91; 124) '{     ...foo; }': ()
-    [101; 102) 'f': fn(S) -> ()
-    [118; 121) 'foo': fn foo(S) -> ()
+    [101; 102) 'f': fn(S)
+    [118; 121) 'foo': fn foo(S)
     "###
     );
 }
@@ -1962,7 +1962,7 @@ fn test() -> impl Trait<i32> {
     [229; 241) 'S(default())': S<u32>
     [231; 238) 'default': fn default<u32>() -> u32
     [231; 240) 'default()': u32
-    [247; 250) 'foo': fn foo(S<u32>) -> ()
+    [247; 250) 'foo': fn foo(S<u32>)
     [247; 254) 'foo(s1)': ()
     [251; 253) 's1': S<u32>
     [264; 265) 'x': i32
@@ -2012,7 +2012,7 @@ fn main() {
     [147; 149) '_v': F
     [192; 195) '{ }': ()
     [207; 238) '{     ... }); }': ()
-    [213; 223) 'f::<(), _>': fn f<(), |&()| -> ()>(|&()| -> ()) -> ()
+    [213; 223) 'f::<(), _>': fn f<(), |&()| -> ()>(|&()| -> ())
     [213; 235) 'f::<()... z; })': ()
     [224; 234) '|z| { z; }': |&()| -> ()
     [225; 226) 'z': &()
@@ -2021,3 +2021,28 @@ fn main() {
     "###
     );
 }
+
+#[test]
+fn dyn_trait_through_chalk() {
+    let t = type_at(
+        r#"
+//- /main.rs
+struct Box<T> {}
+#[lang = "deref"]
+trait Deref {
+    type Target;
+}
+impl<T> Deref for Box<T> {
+    type Target = T;
+}
+trait Trait {
+    fn foo(&self);
+}
+
+fn test(x: Box<dyn Trait>) {
+    x.foo()<|>;
+}
+"#,
+    );
+    assert_eq!(t, "()");
+}