Insert itypes for parameters with typedef types#690

john-h-kastner merged 3 commits intomaincorrectcomputation/checkedc-clang:mainfrom

typedef_itypescorrectcomputation/checkedc-clang:typedef_itypesCopy head branch name to clipboard