Actually, I just searched the codebase, and it looks like this pull request touches all the usages of this function. So the reason why no other existing usage exhibits this bug is that there is no other existing usage. :) I'll remove the function from our codebase.