fn main() {
    let x = panic!();
    x.clone(); //~ ERROR type annotations needed
}