USAFRet :
And still, there is no 12v output in a USB port.
What you seek does not exist.
Actually, the 12V supply can be done in several ways, (1) boost 5V to 12V, theoretically, since Type-C can do 5V 5A without PD, and (2) negotiate 20V 5A (100W, if available, or whatever) before starting HDD spin-up.
So the lack of 12V on USB port is not a problem.
The problem is that people have very little sense of hardware, and don't realize that having an extra (and negotiable!) 20 V 5 A power supply on laptop port (or even on desktop) needs substantial hardware and takes serious volume. Just take a look at the size of any AC-DC power adapter (19V 4.7 A 90W) for a typical laptop.[/quotemsg]
Yes it
could be done.
The USB spec, however, does not include anything about 12v.
Ergo, this does not exist.[/quotemsg]
The OP clearly states upfront that the issue is about USB Type-C.
USB Type-C does include PD as an option. It looks like you don't know what the PD (Power Delivery) is. You probably need to familiarize yourself with modern development in USB area.
So the possibility to make a device per OP wish does exist, all within the scope of USB specifications. If this device doesn't exist and/or if nobody is willing to make such a device is a different story.