do_something((auto, auto) ok); /* consume can fail */ consume(auto a); main() { do_something() => auto a, auto b; consume(a); /* try commenting out error handler or consume(b); */ !> e { consume(b); error "a failed" } consume(b); }