Templated string literal type as key looses type when using non enumerable types like ${number} or ${string} in template

[rpedretti]

Bug Report

🔎 Search Terms

template literal string type
indexed array type

🕗 Version & Regression Information

• Versions 4.1+

⏯ Playground Link

Playground link with relevant code

💻 Code

type SubType = 'a' | 'b'
type TemplateType = Record<`sub_[${SubType}]`, number>
/*
type TemplateType = {
    "sub_[a]": number;
    "sub_[b]": number;
}
*/

type OtherType = Record<`other_[${boolean}]`, number>
/*
type OtherType = {
    "other_[false]": number;
    "other_[true]": number;
}
*/

type OwnsType = Record<`owns[${number}]`, number>
// OwnsType = {}

type Change<T> = <F extends keyof T>(prop: F, value: T[F]) => void;

const change: Change<TemplateType & OwnsType & OtherType> = (prop, value) => console.debug(prop, value);

change("owns[0]", '');
change("other_[false]", '');
change("sub_[a]", '');

🙁 Actual behavior

Having a templated string literal type looses type when using non enumerable types like ${number} or ${string} in template

🙂 Expected behavior

Templated literal string should resolve to actual type

I don't know if this is intended since it's not possible to enumerate keys for these kind of template but it would be a nice feature

[jcalz]

Duplicate #42192

[yogeshpanchal8195]

I can resolve this issue at a faster pace & with a better approch

[typescript-bot]

This issue has been marked as a 'Duplicate' and has seen no recent activity. It has been automatically closed for house-keeping purposes.