//@ check-pass
#![feature(type_alias_impl_trait)]
type A = impl Iterator;
fn def_a() -> A {
0..1
}
pub fn use_a() {
def_a().map(|x| x);
fn main() {}