diff options
Diffstat (limited to 'crates/hir_ty')
-rw-r--r-- | crates/hir_ty/src/method_resolution.rs | 8 | ||||
-rw-r--r-- | crates/hir_ty/src/tests/method_resolution.rs | 19 |
2 files changed, 26 insertions, 1 deletions
diff --git a/crates/hir_ty/src/method_resolution.rs b/crates/hir_ty/src/method_resolution.rs index 5a6f0c67f..8a289f52a 100644 --- a/crates/hir_ty/src/method_resolution.rs +++ b/crates/hir_ty/src/method_resolution.rs | |||
@@ -720,7 +720,13 @@ fn transform_receiver_ty( | |||
720 | .push(self_ty.value.clone()) | 720 | .push(self_ty.value.clone()) |
721 | .fill_with_unknown() | 721 | .fill_with_unknown() |
722 | .build(), | 722 | .build(), |
723 | AssocContainerId::ImplId(impl_id) => inherent_impl_substs(db, impl_id, &self_ty)?, | 723 | AssocContainerId::ImplId(impl_id) => { |
724 | let impl_substs = inherent_impl_substs(db, impl_id, &self_ty)?; | ||
725 | Substs::build_for_def(db, function_id) | ||
726 | .use_parent_substs(&impl_substs) | ||
727 | .fill_with_unknown() | ||
728 | .build() | ||
729 | } | ||
724 | AssocContainerId::ContainerId(_) => unreachable!(), | 730 | AssocContainerId::ContainerId(_) => unreachable!(), |
725 | }; | 731 | }; |
726 | let sig = db.callable_item_signature(function_id.into()); | 732 | let sig = db.callable_item_signature(function_id.into()); |
diff --git a/crates/hir_ty/src/tests/method_resolution.rs b/crates/hir_ty/src/tests/method_resolution.rs index 0f17ff151..a6a54e542 100644 --- a/crates/hir_ty/src/tests/method_resolution.rs +++ b/crates/hir_ty/src/tests/method_resolution.rs | |||
@@ -1087,3 +1087,22 @@ fn method_resolution_foreign_opaque_type() { | |||
1087 | "#]], | 1087 | "#]], |
1088 | ); | 1088 | ); |
1089 | } | 1089 | } |
1090 | |||
1091 | #[test] | ||
1092 | fn method_with_allocator_box_self_type() { | ||
1093 | check_types( | ||
1094 | r#" | ||
1095 | struct Slice<T> {} | ||
1096 | struct Box<T, A> {} | ||
1097 | |||
1098 | impl<T> Slice<T> { | ||
1099 | pub fn into_vec<A>(self: Box<Self, A>) { } | ||
1100 | } | ||
1101 | |||
1102 | fn main() { | ||
1103 | let foo: Slice<u32>; | ||
1104 | (foo.into_vec()); // we don't actually support arbitrary self types, but we shouldn't crash at least | ||
1105 | } //^ {unknown} | ||
1106 | "#, | ||
1107 | ); | ||
1108 | } | ||