Bug: Discriminated unions with cyclic references combine unrelated branch errors
Bug: Discriminated unions with cyclic references combine unrelated branch errors: a task in LegoFlow-SWE (Harbor dataset). When a union type includes a branch that references itself recursively (forming a cycle), property‑based discrimination (e.g., using a type field) fails to narrow validation…
The task
When a union type includes a branch that references itself recursively (forming a cycle), property‑based discrimination (e.g., using a `type` field) fails to narrow validation to the correct branch. Errors from all branches are collected, producing misleading output that includes constraints from branches that are…
Part of Lego-X/LegoFlow-SWE.