#![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
}