How to create a conditional intersection based on a generic parameter?

Question

In the follow example

type Message = string

type CommandWithArgsProps = {
  args: true
  argsRequired: boo