summaryrefslogtreecommitdiffstats
path: root/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs')
-rw-r--r--src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs21
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs b/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs
deleted file mode 100644
index f6ab9c203..000000000
--- a/src/test/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() {}