fix(semantics): close three producer-scan answers that were confidently wrong - #4687

fix(semantics): close three producer-scan answers that were confidently wrong#4687

huangruiteng merged 2 commits into

loopx-project:mainloopx-project/loopx:mainfrom

songoow:codex/b2-counterexamples-and-soundnesssongoow/loopx:codex/b2-counterexamples-and-soundnessCopy head branch name to clipboard