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