infer: a diverging match arm contributes nothing to the match's join - #9964

infer: a diverging match arm contributes nothing to the match's join#9964

gunbai-bot[bot] merged 16 commits into

maingunb-ai/gunbc:mainfrom

session/still-swift-363-diverging-armgunb-ai/gunbc:session/still-swift-363-diverging-armCopy head branch name to clipboard