fn main() {
    panic!(std::default::Default::default());
    //~^ ERROR type annotations needed
}