Yeah, the law was made for micro-USB and USB-C is a mess...
To make it worse, some companies decided the top voltage would be 18V, while others use 21V or anything in between... So it's not clear if the power brick you brought, that satisfies all the numbers from the device will actually be useful to charge the device.