bendns' repos / rust-analyzer
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.rs31
1 files changed, 31 insertions, 0 deletions
diff --git a/crates/hir-ty/src/tests/regression.rs b/crates/hir-ty/src/tests/regression.rs
index 683c938fb5..59f33f0f1b 100644
--- a/crates/hir-ty/src/tests/regression.rs
+++ b/crates/hir-ty/src/tests/regression.rs
@@ -3063,3 +3063,34 @@ fn main() {
"#,
);
}
+
+#[test]
+fn regression_22820() {
+ check_no_mismatches(
+ r#"
+//- minicore: copy
+trait MyTrait: Copy {
+ const ASSOC: usize;
+}
+
+const fn output<T: MyTrait>(_: T) -> usize {
+ <T as MyTrait>::ASSOC
+}
+
+const fn yeet() -> impl Clone {
+ let x = [0u8; output(yeet())];
+}
+ "#,
+ );
+}
+
+#[test]
+fn rpit_function_with_non_trivial_anon_const() {
+ check_no_mismatches(
+ r#"
+fn f() -> impl Sized {
+ let x = [0u8; 1 + 2];
+}
+ "#,
+ );
+}