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.rs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/crates/hir_ty/src/tests/regression.rs b/crates/hir_ty/src/tests/regression.rs index 2809b1e912..65eb2da5af 100644 --- a/crates/hir_ty/src/tests/regression.rs +++ b/crates/hir_ty/src/tests/regression.rs @@ -1497,3 +1497,22 @@ fn regression_11688_3() { "#, ); } + +#[test] +fn gat_crash() { + cov_mark::check!(ignore_gats); + check_no_mismatches( + r#" +trait ATrait {} + +trait Crash { + type Member<const N: usize>: ATrait; + fn new<const N: usize>() -> Self::Member<N>; +} + +fn test<T: Crash>() { + T::new(); +} +"#, + ); +} |