---

yaml
---
r: 7018
b: refs/heads/master
c: 439e28b
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 72a3667eb30705826a99bfa2b9478c4037589dbc
+refs/heads/master: 439e28b7510919e2ff69c82acef387d08cd1e947

trunk/src/comp/middle/trans.rs

@@ -208,6 +208,11 @@ fn type_of_inner(cx: @crate_ctxt, sp: span, t: ty::t)
       ty::ty_opaque_closure. {
         T_opaque_closure(cx)
       }
+      ty::ty_constr(subt,_) {
+        // FIXME: could be a constraint on ty_fn
+          check non_ty_var(cx, subt);
+          type_of_inner(cx, sp, subt)
+      }
       _ {
         fail "type_of_inner not implemented for this kind of type";
       }

trunk/src/comp/middle/ty.rs

@@ -818,6 +818,12 @@ fn fold_ty(cx: ctxt, fld: fold_mode, ty_0: t) -> t {
       ty_param(id, did) {
         alt fld { fm_param(folder) { ty = folder(id, did); } _ {} }
       }
+      ty_constr(subty, cs) {
+          ty = mk_constr(cx, fold_ty(cx, fld, subty), cs);
+      }
+      _ {
+          cx.sess.fatal("Unsupported sort of type in fold_ty");
+      }
     }
 
     // If this is a general type fold, then we need to run it now.

trunk/src/test/run-pass/issue-970.rs

@@ -0,0 +1,6 @@
+tag maybe_ordered_pair {
+    yes({low: int, high: int} : less_than(*.low, *.high));
+    no;
+}
+pure fn less_than(x: int, y: int) -> bool { ret x < y; }
+fn main() { }