Add helper function to double-check non-null types.

1 files changed, 6 insertions, 0 deletions

diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs
index 091896fa302..b93235f2c5b 100644
--- a/src/comp/middle/trans.rs
+++ b/src/comp/middle/trans.rs
@@ -239,6 +239,12 @@ fn T_taskptr() -> TypeRef {
 }
 
 fn type_of(@trans_ctxt cx, @typeck.ty t) -> TypeRef {
+    let TypeRef llty = type_of_inner(cx, t);
+    check (llty as int != 0);
+    ret llty;
+}
+
+fn type_of_inner(@trans_ctxt cx, @typeck.ty t) -> TypeRef {
     alt (t.struct) {
         case (typeck.ty_nil) { ret T_nil(); }
         case (typeck.ty_bool) { ret T_bool(); }