tests/ui/type-alias-impl-trait/issue-58951.rs


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

//@ check-pass

#![feature(type_alias_impl_trait)]

pub type A = impl Iterator;

#[define_opaque(A)]
pub fn def_a() -> A {
    0..1
}

pub fn use_a() {
    def_a().map(|x| x);
}

fn main() {}