tests/ui/type-alias-impl-trait/declared_but_not_defined_in_scope.rs


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

#![feature(type_alias_impl_trait)]

fn main() {}

mod boo {
    // declared in module but not defined inside of it
    pub type Boo = impl ::std::fmt::Debug; //~ ERROR unconstrained opaque type
}

fn bomp() -> boo::Boo {
    ""
    //~^ mismatched types
}