Remove the shadow diagnostic around the variable redefinition.