// Regression test for the ICE described in #82328. The pretty-printer for
// `-Zunpretty=hir,typed` would previously retrieve type-checking results
// when entering a body, which means that type information was not available
// for expressions occurring in function signatures, as in the `foo` example
// below, leading to an ICE.

// check-pass
// compile-flags: -Zunpretty=hir,typed
#![allow(dead_code)]

fn main() {}

fn foo(-128..=127: i8) {}