[Swagger Linter Migration] PatchPropertiesCorrespondToPutProperties (origin) - #5405

Draft

Yuchao Yan (msyyc) wants to merge 1 commit into

feature/lintdiff-migration-newfrom

feature/lintdiff-patch-properties-correspond-to-put-properties

Yuchao Yan (msyyc) commented Sep 4, 2026

Member

Summary

add a dedicated native TypeSpec lint for same-route ARM PATCH/PUT request-body property correspondence
cover emitted JSON names, nested leaves, body absence, visibility, allOf wrappers, and overloads with focused fixtures
document aligned staging-validator corpus evidence and intentional validator deep-equality discrepancies

Validation

pnpm -r --filter "tsp-lintdiff-local-linter..." build
targeted oxlint on changed TypeScript files
pnpm --filter tsp-lintdiff-local-linter validate PatchPropertiesCorrespondToPutProperties (11 cases)
projected full corpus: 462/468 compiled; validator 316 projects/1374 diagnostics; TypeSpec 35 projects/94 diagnostics; overlap 35; TypeSpec-only 0


          feat(lintdiff): migrate PATCH PUT property correspondence

672d56a

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

Labels

None yet