//@ dont-require-annotations: NOTE | |
#![feature(try_blocks)] | |
fn main() { | |
let _: Option<()> = do catch {}; | |
//~^ ERROR found removed `do catch` syntax | |
//~| HELP replace with the new syntax | |
//~| NOTE following RFC #2388, the new non-placeholder syntax is `try` | |
let _recovery_witness: () = 1; //~ ERROR mismatched types | |
} |