He could continue to use protien as his primary source of energy during his HIIT session, carbs would be more efficient but not a necessity.
Then what is the ' benefit ' of opting to fuel exercise with protein when your body is designed to preferentially use carbs ( glucose/ glycogen ) to fuel exercise and your body is also designed to spare protein for it's intended purpose - primarily tissue growth and repair.
Since carbs aren't fattening, and carb based energy is the preferentially fuel for hard exercise - what's the rationale to cut carbs to almost " 0 " in favor of protein ( and to a lesser extent ) fat ?