blob: 9b74a88edd3d79f909dfe75175e54ed7860e91a2 (
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!()
}
|
