Avoid non-trivially shadowing string.toString()

Avoid non-trivially shadowing string.toString() #9111