From df483ec85c67c5e9c6b3f790be4bd4bb19c456e3 Mon Sep 17 00:00:00 2001 From: Benjie Gillam Date: Thu, 17 Oct 2024 10:27:02 +0100 Subject: [PATCH] Clarify 'Values of Correct Type' rule does not apply to variables. --- spec/Section 5 -- Validation.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/spec/Section 5 -- Validation.md b/spec/Section 5 -- Validation.md index 75af96ffd..e9c2983a8 100644 --- a/spec/Section 5 -- Validation.md +++ b/spec/Section 5 -- Validation.md @@ -1303,14 +1303,16 @@ fragment resourceFragment on Resource { **Formal Specification** -- For each input Value {value} in the document: +- For each literal input Value {value} in the document: - Let {type} be the type expected in the position {value} is found. - {value} must be coercible to {type}. **Explanatory Text** Literal values must be compatible with the type expected in the position they -are found as per the coercion rules defined in the Type System chapter. +are found as per the coercion rules defined in the Type System chapter. Variable +values are handled by the rule +[All Variable Usages Are Allows](#sec-All-Variable-Usages-Are-Allowed). The type expected in a position includes the type defined by the argument a value is provided for, the type defined by an input object field a value is