From dbfc68cea05c82d5bd7f8ee4f1cec4b173517eb4 Mon Sep 17 00:00:00 2001
From: Florian Diebold <flodiebold@gmail.com>
Date: Sat, 23 Mar 2019 18:03:09 +0100
Subject: Fix apply_substs assertion failure

Fixes #1030.
---
 crates/ra_hir/src/ty/tests.rs | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

(limited to 'crates/ra_hir/src/ty/tests.rs')

diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs
index 0f2172ddf..5d8ad4aa7 100644
--- a/crates/ra_hir/src/ty/tests.rs
+++ b/crates/ra_hir/src/ty/tests.rs
@@ -1791,6 +1791,29 @@ fn test<R>(query_response: Canonical<QueryResponse<R>>) {
     );
 }
 
+#[test]
+fn bug_1030() {
+    assert_snapshot_matches!(infer(r#"
+struct HashSet<T, H>;
+struct FxHasher;
+type FxHashSet<T> = HashSet<T, FxHasher>;
+
+impl<T, H> HashSet<T, H> {
+    fn default() -> HashSet<T, H> {}
+}
+
+pub fn main_loop() {
+    FxHashSet::default();
+}
+"#),
+    @r###"
+[144; 146) '{}': ()
+[169; 198) '{     ...t(); }': ()
+[175; 193) 'FxHash...efault': fn default<{unknown}, {unknown}>() -> HashSet<T, H>
+[175; 195) 'FxHash...ault()': HashSet<{unknown}, {unknown}>"###
+    );
+}
+
 #[test]
 fn cross_crate_associated_method_call() {
     let (mut db, pos) = MockDatabase::with_position(
-- 
cgit v1.2.3