Add a test with a newtype constructor that both requires a wrapper and wraps a representation-polymorphic value

In !10165 (comment 497190) @clyring suggested it would be good to have a test in the testsuite that has a newtype constructor that both requires a wrapper and wraps a representation-polymorphic value.

I'm opening this ticket to track this testsuite improvement separately from that MR.