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 | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/crates/hir_ty/src/tests/regression.rs b/crates/hir_ty/src/tests/regression.rs index a02ec6f85c..c3c934c468 100644 --- a/crates/hir_ty/src/tests/regression.rs +++ b/crates/hir_ty/src/tests/regression.rs @@ -1471,7 +1471,7 @@ fn regression_11688_3() { } #[test] -fn gat_crash() { +fn gat_crash_1() { cov_mark::check!(ignore_gats); check_no_mismatches( r#" @@ -1490,6 +1490,26 @@ fn test<T: Crash>() { } #[test] +fn gat_crash_2() { + check_no_mismatches( + r#" +pub struct InlineStorage {} + +pub struct InlineStorageHandle<T: ?Sized> {} + +pub unsafe trait Storage { + type Handle<T: ?Sized>; + fn create<T: ?Sized>() -> Self::Handle<T>; +} + +unsafe impl Storage for InlineStorage { + type Handle<T: ?Sized> = InlineStorageHandle<T>; +} +"#, + ); +} + +#[test] fn cfgd_out_self_param() { cov_mark::check!(cfgd_out_self_param); check_no_mismatches( |