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

Conversation

@gcanti

@gcanti gcanti commented Jun 4, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@github-project-automation github-project-automation Bot moved this to Discussion Ongoing in PR Backlog Jun 4, 2026
@changeset-bot

changeset-bot Bot commented Jun 4, 2026

Copy link
Copy Markdown

🦋 Changeset detected

Latest commit: 4f29471

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package
Name Type
effect Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@gcanti gcanti merged commit f7e836e into main Jun 4, 2026
11 checks passed
@gcanti gcanti deleted the json-schema-never-additional-properties branch June 4, 2026 17:07
@github-project-automation github-project-automation Bot moved this from Discussion Ongoing to Done in PR Backlog Jun 4, 2026
@github-actions github-actions Bot mentioned this pull request Jun 4, 2026
Hoishin added a commit to Hoishin/effect that referenced this pull request Jun 8, 2026
* upstream/main:
  Version Packages (Effect-TS#6259)
  fix(ai): support empty tool parameters (Effect-TS#6260)
  fix(Data): preserve generic A in TaggedEnum $match arms (Effect-TS#6250)
  Emit `additionalProperties: false` for records with string keys and `Schema.Never` values (Effect-TS#6257)
  Version Packages (Effect-TS#6227)
  Backport cluster shard group fixes (Effect-TS#6255)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant