summary refs log tree commit diff
path: root/src/test/run-fail/unwind-check.rs
blob: e01cc969cea61764e512790b6228153def93abb1 (plain)
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);
}