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.rs14
1 files changed, 14 insertions, 0 deletions
diff --git a/crates/hir-ty/src/tests/regression.rs b/crates/hir-ty/src/tests/regression.rs
index 689f0da44f..8911dd318c 100644
--- a/crates/hir-ty/src/tests/regression.rs
+++ b/crates/hir-ty/src/tests/regression.rs
@@ -1758,6 +1758,20 @@ const C: usize = 2 + 2;
}
#[test]
+fn regression_14456() {
+ check_no_mismatches(
+ r#"
+//- minicore: future
+async fn x() {}
+fn f() {
+ let fut = x();
+ let t = [0u8; 2 + 2];
+}
+"#,
+ );
+}
+
+#[test]
fn regression_14164() {
check_types(
r#"