Enable kind checking on typarams, fix kind constraints in library and comp.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/test/stdtest/deque.rs b/src/test/stdtest/deque.rs
index 2b4da0cdf6b..6d405f2eae8 100644
--- a/src/test/stdtest/deque.rs
+++ b/src/test/stdtest/deque.rs
@@ -81,7 +81,7 @@ fn test_boxes(a: @int, b: @int, c: @int, d: @int) {
 
 type eqfn[T] = fn(&T, &T) -> bool ;
 
-fn test_parameterized[T](e: eqfn[T], a: &T, b: &T, c: &T, d: &T) {
+fn test_parameterized[@T](e: eqfn[T], a: &T, b: &T, c: &T, d: &T) {
     let deq: deque::t[T] = deque::create[T]();
     assert (deq.size() == 0u);
     deq.add_front(a);
@@ -113,7 +113,7 @@ fn test_parameterized[T](e: eqfn[T], a: &T, b: &T, c: &T, d: &T) {
 
 tag taggy { one(int); two(int, int); three(int, int, int); }
 
-tag taggypar[T] { onepar(int); twopar(int, int); threepar(int, int, int); }
+tag taggypar[@T] { onepar(int); twopar(int, int); threepar(int, int, int); }
 
 type reccy = {x: int, y: int, t: taggy};
 
@@ -138,7 +138,7 @@ fn test() {
           }
         }
     }
-    fn taggypareq[T](a: &taggypar[T], b: &taggypar[T]) -> bool {
+    fn taggypareq[@T](a: &taggypar[T], b: &taggypar[T]) -> bool {
         alt a {
           onepar[T](a1) {
             alt b { onepar[T](b1) { ret a1 == b1; } _ { ret false; } }