Introduce can_cast_type for array_typet#2594

thk123 merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thk123:array_type_checkthk123/cbmc:array_type_checkCopy head branch name to clipboard