Remove dead code from bug-10127.cs. (#18762)