Update diagnostics_specific.hpp