Can the USB serial and the pin 6/7 serial be used at the same time (Seeeduino XIAO)?

Community General Info - Guidance
3

… and of course D6/D7 can be used as GPIO pins if not used as Serial1 IO.