Skip to content

Emit additionalProperties: false for records with string keys and Schema.Never values#6257

Merged
gcanti merged 1 commit into
mainfrom
json-schema-never-additional-properties
Jun 4, 2026
Merged

Emit additionalProperties: false for records with string keys and Schema.Never values#6257
gcanti merged 1 commit into
mainfrom
json-schema-never-additional-properties

Commits

Commits on Jun 4, 2026