src/test/run-pass/claim-nonterm.rs


1
2
3
4
5
6
7

// tests that the pred in a claim isn't actually eval'd
use std;
import uint::*;

pure fn fails(a: uint) -> bool { fail; }

fn main() { let b: uint = 4u; claim (fails(b)); }