Properly powering Pico from USB-C

Hi, I'm working on a small pcb that uses the Pico, and I want to add an additional USB-C port for powering it (just want to make sure I'm getting the method of powering the board correct) I'm routing the USB VBUS pin through a 5V voltage regulator, the output through a power switch, and then that into Pico's VSYS. I'm connecting the USB GND to a GND pin on the Pico. Will this work fine if I also plan on using the built-in USB for programming and tests?

I don't have the knowledge to answer this but until smarter people get here have a look at the docs https://www.raspberrypi.com/documentation/microcontrollers/pico-series.html

You can select your Pico and have a look at the schematics and stuff which should answer your question

Check https://www.youtube.com/watch?v=W13HNsoHj7A And timestamp 3:47 is the basic circuit, you need to add two resistors to the schema. And I don't see the reason for an extra voltage regulator or the switch as you also need to have a switch for D+/D-. Just feed the power from the USB-C, USB_VBUS to VSYS_IN and never have a Micro and a USB-C connected at the same time. If you wish to have both Micro and USB-C connected at the same time for power you need to add a scotty diode (D1 in the schema) to prevent back feed.

Thanks!