Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/tests/regression.rs')
-rw-r--r--crates/hir-ty/src/tests/regression.rs23
1 files changed, 23 insertions, 0 deletions
diff --git a/crates/hir-ty/src/tests/regression.rs b/crates/hir-ty/src/tests/regression.rs
index f18c953a7a..047900a324 100644
--- a/crates/hir-ty/src/tests/regression.rs
+++ b/crates/hir-ty/src/tests/regression.rs
@@ -1955,3 +1955,26 @@ impl Inner<1> {
"#,
);
}
+
+#[test]
+fn dont_crash_on_slice_unsizing() {
+ check_no_mismatches(
+ r#"
+//- minicore: slice, unsize, coerce_unsized
+trait Tr {
+ fn f(self);
+}
+
+impl Tr for [i32] {
+ fn f(self) {
+ let t;
+ x(t);
+ }
+}
+
+fn x(a: [i32; 4]) {
+ let b = a.f();
+}
+ "#,
+ );
+}