diff options
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.rs | 25 |
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() {} |