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