blob: 4c56fe2d1dce283f9b6655f79dd16807e846197e [file] [log] [blame]
// check-pass
#![feature(type_alias_impl_trait)]
type Opaque<'lt> = impl Sized + 'lt;
fn test<'a>(
arg: impl Iterator<Item = &'a u8>,
) -> impl Iterator<Item = Opaque<'a>> {
arg
}
fn main() {}