blob: 1933a68c221627d368bf66723e7716aa01b528dc [file] [log] [blame]
#![allow(incomplete_features)]
mod child {
trait Main {
fn main() -> impl std::process::Termination;
}
struct Something;
impl Main for () {
fn main() -> Something {
//~^ ERROR the trait bound `Something: Termination` is not satisfied
Something
}
}
}
fn main() {}