src/test/ui/typeck/issue-88609.rs

   1 // Regression test for #88609:
   2 // The return type for `main` is not normalized while checking if it implements
   3 // the trait `std::process::Termination`.
   4
   5 // build-pass
   6
   7 trait Same {
   8     type Output;
   9 }
  10
  11 impl<T> Same for T {
  12     type Output = T;
  13 }
  14
  15 type Unit = <() as Same>::Output;
  16
  17 fn main() -> Result<Unit, std::io::Error> {
  18     unimplemented!()
  19 }