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

MathiasVP merged 1 commit into

github:maingithub/codeql:mainfrom

jketema:revert-8592jketema/codeql:revert-8592Copy head branch name to clipboard