Edge case where com types appear in labels but dont generate next_cycle values when typechecking

[dz333]

This is known to be reproduceable with inputs, not sure if it happens with other types