C front-end: Do not lose comments in type checking#4622

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:maintain-commentstautschnig/cbmc:maintain-commentsCopy head branch name to clipboard