diff options
Diffstat (limited to 'tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs')
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs deleted file mode 100644 index f6ab9c203..000000000 --- a/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs +++ /dev/null @@ -1,21 +0,0 @@ -// check-pass - -pub trait Indexable { - type Idx; -} -impl Indexable for u8 { - type Idx = u8; -} -impl Indexable for u16 { - type Idx = u16; -} - -pub trait Indexer<T: Indexable>: std::ops::Index<T::Idx, Output = T> {} - -trait StoreIndex: Indexer<u8> + Indexer<u16> {} - -fn foo(st: &impl StoreIndex) -> &dyn StoreIndex { - st as &dyn StoreIndex -} - -fn main() {} |