// error-pattern:fail

fn main() {
    @0;
    fail;
}