From 6a77ec7bbe6ddbf663dce9529d11d1bb56c5489a Mon Sep 17 00:00:00 2001
From: Aleksey Kladov <aleksey.kladov@gmail.com>
Date: Thu, 13 Aug 2020 16:35:29 +0200
Subject: Rename ra_hir_ty -> hir_ty

---
 crates/hir_ty/src/tests/display_source_code.rs | 41 ++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 crates/hir_ty/src/tests/display_source_code.rs

(limited to 'crates/hir_ty/src/tests/display_source_code.rs')

diff --git a/crates/hir_ty/src/tests/display_source_code.rs b/crates/hir_ty/src/tests/display_source_code.rs
new file mode 100644
index 000000000..b502135d8
--- /dev/null
+++ b/crates/hir_ty/src/tests/display_source_code.rs
@@ -0,0 +1,41 @@
+use super::check_types_source_code;
+
+#[test]
+fn qualify_path_to_submodule() {
+    check_types_source_code(
+        r#"
+mod foo {
+    pub struct Foo;
+}
+
+fn bar() {
+    let foo: foo::Foo = foo::Foo;
+    foo
+}  //^ foo::Foo
+
+"#,
+    );
+}
+
+#[test]
+fn omit_default_type_parameters() {
+    check_types_source_code(
+        r#"
+struct Foo<T = u8> { t: T }
+fn main() {
+    let foo = Foo { t: 5u8 };
+    foo;
+}  //^ Foo
+"#,
+    );
+
+    check_types_source_code(
+        r#"
+struct Foo<K, T = u8> { k: K, t: T }
+fn main() {
+    let foo = Foo { k: 400, t: 5u8 };
+    foo;
+}   //^ Foo<i32>
+"#,
+    );
+}
-- 
cgit v1.2.3