summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/issue-60564.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/issue-60564.rs')
-rw-r--r--src/test/ui/type-alias-impl-trait/issue-60564.rs25
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/type-alias-impl-trait/issue-60564.rs b/src/test/ui/type-alias-impl-trait/issue-60564.rs
deleted file mode 100644
index 4fc767931..000000000
--- a/src/test/ui/type-alias-impl-trait/issue-60564.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-#![feature(type_alias_impl_trait)]
-
-trait IterBits {
- type BitsIter: Iterator<Item = u8>;
- fn iter_bits(self, n: u8) -> Self::BitsIter;
-}
-
-type IterBitsIter<T, E, I> = impl std::iter::Iterator<Item = I>;
-
-impl<T: Copy, E> IterBits for T
-where
- T: std::ops::Shr<Output = T>
- + std::ops::BitAnd<T, Output = T>
- + std::convert::From<u8>
- + std::convert::TryInto<u8, Error = E>,
- E: std::fmt::Debug,
-{
- type BitsIter = IterBitsIter<T, E, u8>;
- fn iter_bits(self, n: u8) -> Self::BitsIter {
- (0u8..n).rev().map(move |shift| ((self >> T::from(shift)) & T::from(1)).try_into().unwrap())
- //~^ ERROR non-defining opaque type use in defining scope
- }
-}
-
-fn main() {}