Prune an unused diagnostic, detected after improving the script in r172330