Ville Voutilainen wrote:
> I don't understand what you mean by "check identifier_of, get the reflection,
> then cast away the access bits".
> That doesn't describe P2996. And even with P3451, the dependency to the
> types and cardinalities forms easily, without any help from that proposal,
> because you do not need to splice things to form such a dependency.

Do you have an example of such accidental dependency on types and
cardinalities forming?