Yeah, we could make a CTFE version of the aaA code. But, it wouldn't really help. The problem with the current AA approach, is that the compiler knows far too much. The fundamental issues that are need to be addressed relate to the interface, not the implementation. We need a defined way to pass AA literals to a library type. Until we have that, I don't think there's any value in touching the compiler or runtime.