*/ public function getDiagnostics(): array; }