I think it works the other way around.
I strongly doubt that the TV will pass HDMI signals through themselves to a receiver.
He would need to run all sources to the receiver, and then run one HDMI cable, for video HDMI, from the output of the receiver to the TV. This way, there's only one cable running to the TV, assuming the receiver passes the video. No guarantees on the sound, though. He may be totally dependent on the receiver for that.
One way to have his cake and eat it too would be for him to
a) Run a HDMI cable from each source to the TV. This should pass rudimentary audio to the TV.
b) Run a digital audio link from each source to the receiver.
c) Use the TV for video selection, and the receiver for audio selection. He won't even need the receiver to be on unless he wants to use it.
d) When he wants to use the receiver for audio, simply turn the volume all the way down on the TV.