Emit differentiability witness originating from custom derivative declaration regardless
whether derivative body is emitted or not. This handles the cases when the function
itself if @inlinable, but the derivative is @usableFromInline, so its body it is not
emitted in the module.