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?

The check was added originally in 8414eba.