Revert "Revert "Merge pull request #8592 from jketema/implied-cctor-source""#8692

jketema merged 1 commit into

github:maingithub/codeql:mainfrom

jketema:implied-cctor-sourcejketema/codeql:implied-cctor-sourceCopy head branch name to clipboard