自定义“@typedef”对象或“未定义”

Question

我试图正确记录我正在参与的程序中发生的场景。我不确定如何正确表达某些承诺的预期解决方案。下面是我尝试嘲笑正在发生的事情。

有一些 api 承诺超出了我试图记录的程序范围。我提到这一点是因为记录 api 方法不是一个选项，而是包含这些承诺的解析值的变量才是我想要关注的地方。

// simplified example
function apiMethod() {
    const fail = 0;
    const response = {
        error: fail ? "error message" : undefined, // undef if no errors
        success: fail ? undefined : [ // undef if errors present
            {key01: "val01", key02: 1, key03: {"subKey01": [1, 2, 3]}},
            {key01: "val03", key02: 2, key03: {"subKey01": [4, 5, 6]}}
        ]
    };
    return new Promise(resolve => setTimeout(() => resolve(response), 250));
}

(async () => {
    /**
     * @typedef {object} thing
     * @property {string} key01
     * @property {number} key02
     * @property {{subKey02: string[]}} key03
     */
    /**
     * @type {Promise<{success: thing[]|undefined, error: string|undefined}>}
     */
    const myVar = await apiMethod();
    console.log(myVar.key01);
})();

这似乎工作得很好，但我遇到的问题是在某些情况下 success 属性可能是未定义的。现在，这就是将鼠标悬停在 myVar 上时 vscode 工具提示的外观；

const myVar: Promise<{
    success: thing[];
    error: string | undefined;
}>

注意缺少 undefined 表示成功

这是将 thing 悬停在 @type 表达式中时 vscode 工具提示的外观：

type thing = {
    key01: string;
    key02: number;
    key03: {
        subKey02: string[];
    };
}

问题：

1. 是否可以表示success将是thing对象的数组或未定义？当使用 typedef 时，我似乎无法做到这一点。

2. 目前，似乎只有将 thing 悬停在 @type 表达式中时才能看到 thing 对象的分解视图。当我将鼠标悬停在 myVar 上时，它只是显示 success 将是一个 thing 数组。悬停在 myVar 上时是否可以显示 thing 的“分解”视图，同时仍然使用 @typedef？