Resolve alias types for function shapes#144

zgrannan wants to merge 6 commits intomainprusti/pcg:mainfrom

zgrannan/resolve-aliasprusti/pcg:zgrannan/resolve-aliasCopy head branch name to clipboard