PR #19203 [ty] Clarify diagnostic message

[ty] Clarify diagnostic message #19203

sharkdp merged 1 commit into main from david/fix-diagnostic-message

[ty] Clarify diagnostic message

11e7d0ae

sharkdp requested a review from

carljm 157 days ago

sharkdp requested a review from

AlexWaygood 157 days ago

sharkdp requested a review from

dcreager 157 days ago

sharkdp added internal

sharkdp added ty

AlexWaygood approved these changes on 2025-07-08

sharkdp merged 6d8c84bd into main 157 days ago

sharkdp deleted the david/fix-diagnostic-message branch 157 days ago

Reviewers

AlexWaygood

carljm

dcreager

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone