1 2 3 4 5 6 7 8
// error-pattern:fail pure fn p(a: @int) -> bool { false } fn main() { let a = @0; check p(a); }