SI-5886 Remove check for packed type conformance.

Nothing breaks. Why did by-name arguments have this extra check?
What's the difference to a () => T?
No one (including the original author) can think of a reason,
so removing it to fix this bug seems acceptable.

The check was added originally in 8414eba

review by @paulp