mirror of https://github.com/rust-lang/rust
20 lines
350 B
Rust
20 lines
350 B
Rust
// 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!()
|
|
}
|