diff --git a/src/sema.bux b/src/sema.bux
index 6a62f21..cbcd71a 100644
--- a/src/sema.bux
+++ b/src/sema.bux
@@ -1508,10 +1508,8 @@ module Sema {
                         }
                     } else if initType != annotKind {
                         let numericOk: bool = Sema_IsStrictNumeric(initType) && Sema_IsStrictNumeric(annotKind);
-                        let initIsPtr: bool = initType == tyPointer || initType == tyStr;
-                        let annotIsPtr: bool = annotKind == tyPointer || annotKind == tyStr;
-                        let ptrOk: bool = initIsPtr && annotIsPtr;
-                        if !numericOk && !ptrOk {
+                        let boolOk: bool = Sema_IsBool(initType) && Sema_IsBool(annotKind);
+                        if !numericOk && !boolOk {
                             mismatch = true;
                         }
                     }