return/argument types.  (The generated IR isn't ideal, but we can't 
really do better in general.)

llvm-svn: 66132