diff --git a/src/commands/doctor/shared/preview-warnings.ts b/src/commands/doctor/shared/preview-warnings.ts index ba395398d9f5..0ad329917393 100644 --- a/src/commands/doctor/shared/preview-warnings.ts +++ b/src/commands/doctor/shared/preview-warnings.ts @@ -345,7 +345,7 @@ function readPreviewStringList(value: unknown): string[] | undefined { function collectUncoveredConfiguredToolSectionGrantEntries( configuredEntries: ConfiguredToolSectionGrantEntry[], - profilePolicy: ToolPolicyConfig, + profilePolicy: ToolPolicyConfig | undefined, ): ConfiguredToolSectionGrantEntry[] { return configuredEntries .map((entry) => ({