replace_symbolt: report replacements in code_typet::return_type#2725

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:replace-symbolt-code-typetautschnig/cbmc:replace-symbolt-code-typeCopy head branch name to clipboard