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.