Most of the time, on mainline, when the overheads are full, they check bags to the final destination (i.e. baggage claim). I can't recall seeing overheads being full on mainline result in gate checked bags, although it's entirely possible.

This does bring up another possibility for the OP's friend - perhaps the friend thought it was being gate checked for planeside pickup, but it actually went to baggage claim?