Cannot reference MlCopilotClientMessage child type

[lee-at-zoo-corp]

It's impossible to reference the child type

{
    /** The content of the user's message. */
    content: string;
    current_files?: {
        [key: string]: number[];
    };
    /**
     * {
     *   "nullable": true,
     *   "description": "The project name, if any. This can be used to associate the message with a specific project."
     * }
     */
    project_name?: string;
    /** The source ranges the user suggested to change. If empty, the content (prompt) will be used and is required. */
    source_ranges?: SourceRangePrompt[];
    type: 'user';
}

Without having to redefine it.

This makes type narrowing more difficult and causes duplicate types which has been voiced to be particularly annoying.

I don't know the derivation happens but to fix this, type MlCopilotClientMessageUser = ... would solve the issue.

Edit: It's possible to use conditional typing to extract out the type but it should not be necessary to do type gymnastics to get access:

type MlCopilotClientMessageUser<T = MlCopilotClientMessage> = T extends { type: 'user' }
? T
: never

function isMlCopilotUserRequest(x: unknown): x is MlCopilotClientMessageUser {
  return 'type' in x && x.type === 'user'
}

[lee-at-zoo-corp]

I hit the same issue trying to get MlCopilotServerMessage error structure. I have to use the work-around:

type MlCopilotServerMessageError<T = MlCopilotServerMessage> = T extends { error: any }
? T
: never

[lee-at-zoo-corp]

Assigning you jess since you're the type derivation wizard

[lee-at-zoo-corp]

I am now the new type derivation wizard apprentice