diagnostic.h: #include location.h