DFun call args are always saturated with term arguments

In GHC.Core.Opt.Specialise.spec_call, when a DFun call is specialised, GHC extends the call_args so that the call is saturated. However, this saturation in general might require both type and term arguments; currently, it is assumed that only term arguments are needed.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information