For normal type checking, those are taken from the enclosing function, which in this case isn't the callee, but the caller, a monomorphized function that is being translated. Possibly even a drop glue (maybe only drop glues?).