diff --git a/frontends/OccamTypes.hs b/frontends/OccamTypes.hs
index da163df..8460e7c 100644
--- a/frontends/OccamTypes.hs
+++ b/frontends/OccamTypes.hs
@@ -652,6 +652,9 @@ inferTypes = applyExplicitM9 doExpression doDimension doSubscript
                             Nothing -> return Nothing
                   e' <- inTypeContext ctx' $ inferTypes e
                   return $ A.SubscriptedExpr m s' e'
+            A.BytesInExpr _ _ -> noTypeContext $ descend outer
+            -- FIXME: ExprConstr
+            -- FIXME: AllocMobile
 
             -- Other expressions don't modify the type context.
             _ -> descend outer