Reposting this from one of the other threads seeing as people were wondering how the Switch is powered when docked.
It seems more likely that the dock has USB-C ports in the back and that it is arranged in a parallel circuit that changes to a series circuit to work with that one USB-C port on the Switch.
As shown here there are two cables of the same thickness, it is very likely that one is a USB-C to HDMI cable and the other is a USB-C cable connected to a power supply.
Whether the USB-C ports are the 15W standard or the 100W standard, I don't know.
Just for charging the Switch and doing video output to the TV at the same time the 15W standard would be fine.
For reference:
http://www.apple.com/au/shop/product/MJ1K2AM/A/usb-c-digital-av-multiport-adapter
USB-C Digital AV Multiport
As shown above, here is a product that can do do video output and make use of a USB-C charging cable at the same time using a multiport adapter connected to one USB-C port. This shows that USB-C can handle multiple electrical sources at once without overloading.