34 lines
718 B
Rust
34 lines
718 B
Rust
|
// check-pass
|
||
|
|
#![crate_type = "lib"]
|
||
|
|
#![feature(generic_const_exprs)]
|
||
|
|
#![allow(incomplete_features)]
|
||
|
|
pub trait MyIterator {
|
||
|
|
type Output;
|
||
|
|
}
|
||
|
|
|
||
|
|
pub trait Foo {
|
||
|
|
const ABC: usize;
|
||
|
|
}
|
||
|
|
|
||
|
|
pub struct IteratorStruct<const N: usize>{
|
||
|
|
|
||
|
|
}
|
||
|
|
|
||
|
|
pub struct Bar<const N: usize> {
|
||
|
|
pub data: [usize; N]
|
||
|
|
}
|
||
|
|
|
||
|
|
impl<const N: usize> MyIterator for IteratorStruct<N> {
|
||
|
|
type Output = Bar<N>;
|
||
|
|
}
|
||
|
|
|
||
|
|
pub fn test1<T: Foo>() -> impl MyIterator<Output = Bar<{T::ABC}>> where [(); T::ABC]: Sized {
|
||
|
|
IteratorStruct::<{T::ABC}>{}
|
||
|
|
}
|
||
|
|
|
||
|
|
pub trait Baz<const N: usize>{}
|
||
|
|
impl<const N: usize> Baz<N> for Bar<N> {}
|
||
|
|
pub fn test2<T: Foo>() -> impl MyIterator<Output = impl Baz<{ T::ABC }>> where [(); T::ABC]: Sized {
|
||
|
|
IteratorStruct::<{T::ABC}>{}
|
||
|
|
}
|