1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
#![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() {}