Ellery Newcomer wrote:
I guess transitivity would require you to check the declaration of each local symbol that gets called in A's static constructor,
Everything referenced by everything referenced, etc., in the constructor, all the way.
It's not even possible to do in full generality, because the D compiler won't have the source to everything.
