Here;s a situation I came across.

I know any time a metal mounting box is used for a duplex outlet the box
should be tied to the ground wire coming in.

What if the metal box/outlet is on the load side of an upstream GFCI?

Maybe codes say it still has to be grounded (?) but from a safety
standpoint is it pointless to ground the metal box?