NFR walks: explicit worklist, not native recursion, over typed bodies (floor stack overflow) - #12996

NFR walks: explicit worklist, not native recursion, over typed bodies (floor stack overflow)#12996

gunbai-bot[bot] merged 2 commits into

maingunb-ai/gunbc:mainfrom

session/eager-bee-438-nfr-iterativegunb-ai/gunbc:session/eager-bee-438-nfr-iterativeCopy head branch name to clipboard