blob: dc459c885fa70fd56a9b1fd5516f9e570594beef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// 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!()
}
|