v2 inhabitance: an optional produced at a required declared type is refused, not counted - #12806

v2 inhabitance: an optional produced at a required declared type is refused, not counted#12806

gunbai-bot[bot] merged 61 commits into

maingunb-ai/gunbc:mainfrom

session/smart-newt-725-optional-conversegunb-ai/gunbc:session/smart-newt-725-optional-converseCopy head branch name to clipboard