diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs
index e8a3cbbb5f0..53dc7139823 100644
--- a/src/comp/middle/ty.rs
+++ b/src/comp/middle/ty.rs
@@ -330,6 +330,10 @@ fn mk_raw_ty(&ctxt cx, &sty st, &option::t[str] cname) -> raw_t {
             derive_flags_mt(cx, has_params, has_vars, m);
         }
 
+        case (ty_ptr(?m)) {
+            derive_flags_mt(cx, has_params, has_vars, m);
+        }
+
         case (ty_port(?tt)) {
             derive_flags_t(cx, has_params, has_vars, tt);
         }