{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"debug_assert!(b_type.dyncast_array().is_some());"}]}
        debug_assert!(b_type.dyncast_array().is_some());
        debug_assert!(a_type.dyncast_array().is_some());
        let overflow_type = self.i32_type;