// 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}>{}
}
