What really happened is that the engineer connected the wrong net to the wrong pin on a part. No different than if he connected an input net to a part output pin. Or a Load to a Source. Logic Pin types are information for simulation, not to determine what net can be connected.
"Ground" can be a voltage. If the power is +5V, 0V is GND. Connect the power pin to +15V and the round pin to +10V, you have the exact same circuit, but a power net connected to a ground pin. And that's OK. So how do you DRC check for that?
While it would be nice, (and would have flagged mistakes I've made) what you are actually asking for is a DRC to make sure the engineer read the correct pin number/name when attaching a net.