From 1f81e4cbc68f245689fb8209b55c956bd2b5cf7f Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Thu, 15 Nov 2012 14:25:25 -0800 Subject: [PATCH] Remove typestate test --- .../constrained-type-missing-check.rs | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 src/test/compile-fail/constrained-type-missing-check.rs diff --git a/src/test/compile-fail/constrained-type-missing-check.rs b/src/test/compile-fail/constrained-type-missing-check.rs deleted file mode 100644 index 4ad79f570ae..00000000000 --- a/src/test/compile-fail/constrained-type-missing-check.rs +++ /dev/null @@ -1,16 +0,0 @@ -// -*- rust -*- -// xfail-test -// error-pattern:Unsatisfied precondition - -pure fn less_than(x: int, y: int) -> bool { return x < y; } - -type ordered_range = {low: int, high: int} : less_than(*.low, *.high); - -fn main() { - // Should fail to compile, b/c we're not doing the check - // explicitly that a < b - let a: int = 1; - let b: int = 2; - let c: ordered_range = {low: a, high: b}; - log(debug, c.low); -}