//@ compile-flags: --json=diagnostic-short --error-format=json