Github issue: https://github.com/roc-lang/roc/issues/8775
i think this will be fixed by @Richard Feldman's PR https://github.com/roc-lang/roc/pull/8768, which reworks some recursive type checking
That PR is merged now, and retrying with the latest main causes a new error. I've updated the github issue accordingly.
Last updated: Jan 12 2026 at 12:19 UTC