diagnostics' identifier quoting style