diff --git a/internal/core/adt/eval.go b/internal/core/adt/eval.go index 9a9716461..3009b0100 100644 --- a/internal/core/adt/eval.go +++ b/internal/core/adt/eval.go @@ -373,9 +373,8 @@ type nodeContextState struct { hasNonCyclic bool // has non-cyclic conjuncts at start of field processing // These simulate the old closeContext logic. TODO: perhaps remove. - hasStruct bool // this node has a struct conjunct - hasOpenValidator bool // this node has an open validator - isDef bool // this node is a definition + hasStruct bool // this node has a struct conjunct + isDef bool // this node is a definition dropParentRequirements bool // used for typo checking computedCloseInfo bool // used for typo checking diff --git a/internal/core/adt/unify.go b/internal/core/adt/unify.go index 30f2cb87c..b8281e58f 100644 --- a/internal/core/adt/unify.go +++ b/internal/core/adt/unify.go @@ -461,9 +461,6 @@ func (v *Vertex) unify(c *OpContext, flags Flags) bool { if n.hasStruct { blockClose = false } - if n.hasOpenValidator { - blockClose = true - } if n.isDef && !blockClose { n.node.ClosedRecursive = true }