// Regression test for #88609:
// The return type for `main` is not normalized while checking if it implements
// the trait `std::process::Termination`.

// build-pass

trait Same {
    type Output;
}

impl<T> Same for T {
    type Output = T;
}

type Unit = <() as Same>::Output;

fn main() -> Result<Unit, std::io::Error> {
    unimplemented!()
}