Test if a type conforms to a non-existential protocol

[dabrahams (Dave Abrahams)]

@Paul_Cantrell

In Dave’s example in that second link…

Please see my reply here, thanks.