Seems harmless to me, and would save some code clutter. Example: ``` check type_has_static_size(cx.ccx, m.output); ```