Fix fn main() -> impl Trait for non-Termination trait
#50656
Merged
fn main() -> impl Trait for non-Termination trait
#50656