A comment like `#type: ignore` should be copied on all compiled lines generated by the source line with the comment.