Generic usage of "assert impl"? Why is `assert_impl` not public?

[bluenote10]

I'm trying to figure out if it is possible to use the "assert impl" macro family in a generic way. Something like:

static_assertions::assert_impl_all!(for(T) MyType<T>: SomeTrait);

It looks like assert_impl_all or assert_impl_any do not allow this kind of generic syntax, but looking at the internal tests it seems that the private assert_impl macro does. Would it be possible to make assert_impl public to enable such generic usages publicly?

[cyrilleberger]

I had the same problem. After looking deeper, it seems to be that assert_impl and generic are not in the 1.1.0 release, and were added after. Someone has released a new version of static_assertions as static_assertions_next and the assert_impl macro is available in that fork.