diff --git a/src/test/compile-fail/constrained-type-missing-check.rs b/src/test/compile-fail/constrained-type-missing-check.rs
index 6eb5a7c1e62..e09586c295f 100644
--- a/src/test/compile-fail/constrained-type-missing-check.rs
+++ b/src/test/compile-fail/constrained-type-missing-check.rs
@@ -2,10 +2,6 @@
 // xfail-test
 // error-pattern:Unsatisfied precondition
 
-tag list { cons(int, @list); nil; }
-
-type bubu = {x: int, y: int};
-
 pure fn less_than(x: int, y: int) -> bool { ret x < y; }
 
 type ordered_range = {low: int, high: int} : less_than(low, high);