8 lines
186 B
Rust
8 lines
186 B
Rust
// error-pattern:quux
|
|
use std;
|
|
import std::uint::*;
|
|
|
|
fn nop(a: uint, b: uint) : le(a, b) { fail "quux"; }
|
|
|
|
fn main() { let a: uint = 5u; let b: uint = 4u; claim (le(a, b)); nop(a, b); }
|