src/test/ui/type-alias-impl-trait/issue-58951-2.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

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