Re: [Boost-users] [type_erasure] static check of concept compliance

Subject: Re: [Boost-users] [type_erasure] static check of concept compliance
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2016-08-30 11:37:04

AMDG

On 08/27/2016 12:32 PM, Joaquin M López Muñoz wrote:
> 
> Is there a (publicly available) way to determine if an argument of type
> U can be used to
> construct an any<Concept,T>? I'd like to have this for doing SFINAE in
> my any-using code.
> 

  No there isn't.  The implementation
of a concept is in the body of a function.
I don't think there's any way to test
it for compliance at compile time without
creating another parallel hierarchy solely
for the test.

In Christ,
Steven Watanabe