The following error is not diagnosed.
int test(int *a, double *b) { return a - b; }
By the way, this does crash in CodeGen. Can CodeGen assume that the
code is correctly typed, or is it still a good idea to sprinkle
asserts in CodeGen?
--
Seo Sanghyeon