nhaehnle added a comment. And by the way, I do agree with your rationale for why !name is very useful to have in JSON. The C++ backends can (and do) use Record::getName() for the same functionality. https://reviews.llvm.org/D46054