// A test that doesn't include any filecheck directives should fail.

//@ should-fail

fn main() {}