1 // Regression test for the ICE described in #82328. The pretty-printer for
2 // `-Zunpretty=hir,typed` would previously retrieve type-checking results
3 // when entering a body, which means that type information was not available
4 // for expressions occurring in function signatures, as in the `foo` example
5 // below, leading to an ICE.
8 // compile-flags: -Zunpretty=hir,typed
11 use ::std::prelude::rust_2015::*;
17 fn foo((-(128 as i8) as i8) ...(127 as i8): i8) ({ } as ())