I do check
static_assert(A<int>); though. So this should be ill-formed?
↧