1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
|
// 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)]
#[prelude_import]
use ::std::prelude::rust_2015::*;
#[macro_use]
extern crate std;
fn main() ({ } as ())
fn foo((-(128 as i8) as i8)...(127 as i8): i8) ({ } as ())
|