diff options
Diffstat (limited to 'tests/ui/typeck/issue-88609.rs')
-rw-r--r-- | tests/ui/typeck/issue-88609.rs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/ui/typeck/issue-88609.rs b/tests/ui/typeck/issue-88609.rs new file mode 100644 index 000000000..dc459c885 --- /dev/null +++ b/tests/ui/typeck/issue-88609.rs @@ -0,0 +1,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!() +} |