TypeScript：文字的“const myVar”和“const myVar as const”之间的区别

Question

我的问题很简单，我想了解使用 as const 转换文字与泛型的推断之间的关系。

这里是一个示例重现：

declare global {
    interface String {
        // @ts-expect-error Simulate skipLibCheck
        toUpperCase<T>(this: T): Uppercase<T>;
    }
}
export {};

const strA = "mylowercasedstring"; // typed as "mylowercasedstring" (literal)
const strB = "mylowercasedstring" as const; // also typed as "mylowercasedstring" (literal)
const resultA = strA.toUpperCase(); // typed as string
const resultB = strB.toUpperCase(); // typed as "MYLOWERCASEDSTRING" (literal)
// why?

为什么 resultA 没有像 resultB 那样正确推断？