// xfail-stage0
// error-pattern:explicit

fn main() {
  fail;
}