Look at the type params of an item_ty when resolving.

3 files changed, 14 insertions, 1 deletions

diff --git a/src/Makefile b/src/Makefile
index c68094430b2..628b00cb3b7 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -468,6 +468,7 @@ TEST_XFAILS_RUSTC := $(filter-out \
                         simple-obj.rs \
                         stateful-obj.rs \
                         type-in-nested-module.rs \
+                        type-param.rs \
                         tup.rs \
                         u32-decr.rs \
                         u8-incr.rs \
diff --git a/src/comp/middle/resolve.rs b/src/comp/middle/resolve.rs
index e0514ad8d61..a9e6802e88b 100644
--- a/src/comp/middle/resolve.rs
+++ b/src/comp/middle/resolve.rs
@@ -305,6 +305,14 @@ fn lookup_name_wrapped(&env e, ast.ident i) -> option.t[tup(@env, def_wrap)] {
                     case (ast.item_mod(_, ?m, _)) {
                         ret check_mod(i, m);
                     }
+                    case (ast.item_ty(_, _, ?ty_params, _, _)) {
+                        for (ast.ty_param tp in ty_params) {
+                            if (_str.eq(tp.ident, i)) {
+                                auto t = ast.def_ty_arg(tp.id);
+                                ret some(def_wrap_other(t));
+                            }
+                        }
+                    }
                     case (_) { /* fall through */ }
                 }
             }
@@ -448,7 +456,6 @@ fn fold_view_item_import(&env e, &span sp,
                                                               target_def));
 }
 
-
 fn fold_ty_path(&env e, &span sp, ast.path p, &option.t[def] d) -> @ast.ty {
 
     let uint len = _vec.len[ast.ident](p.node.idents);
diff --git a/src/test/run-pass/type-param.rs b/src/test/run-pass/type-param.rs
new file mode 100644
index 00000000000..9525190d243
--- /dev/null
+++ b/src/test/run-pass/type-param.rs
@@ -0,0 +1,5 @@
+type lteq[T] = fn(&T a) -> bool;
+
+fn main(vec[str] args) {
+
+}