Skip to content

Allow interfaces with no fields, unions with no members #1229

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
benjie wants to merge 2 commits into
base: empty-object-types
Choose a base branch
from
Open

Allow interfaces with no fields, unions with no members #1229

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
7169533
Interfaces with no fields
benjie May 23, 2026
fa2fb46
Allow a union to be empty
benjie May 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 4 additions & 6 deletions spec/Section 3 -- Type System.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1275,8 +1275,7 @@ Interfaces are never valid inputs.

Interface types have the potential to be invalid if incorrectly defined.

1. An Interface type must define one or more fields.
2. For each field of an Interface type:
1. For each field of an Interface type:
1. The field must have a unique name within that Interface type; no two
fields may share the same name.
2. The field must not have a name which begins with the characters {"\_\_"}
Expand All @@ -1290,9 +1289,9 @@ Interface types have the potential to be invalid if incorrectly defined.
arguments may share the same name.
3. The argument must accept a type where {IsInputType(argumentType)}
returns {true}.
3. An interface type may declare that it implements one or more unique
2. An interface type may declare that it implements one or more unique
interfaces, but may not implement itself.
4. An interface type must be a super-set of all interfaces it implements:
3. An interface type must be a super-set of all interfaces it implements:
1. Let this interface type be {implementingType}.
2. For each interface declared implemented as {implementedType},
{IsValidImplementation(implementingType, implementedType)} must be {true}.
Expand Down Expand Up @@ -1450,8 +1449,7 @@ Unions are never valid inputs.

Union types have the potential to be invalid if incorrectly defined.

1. A Union type must include one or more unique member types.
2. The member types of a Union type must all be Object base types; Scalar,
1. The member types of a Union type must all be Object base types; Scalar,
Interface and Union types must not be member types of a Union. Similarly,
wrapping types must not be member types of a Union.

Expand Down
Loading