Функция TS для выполнения сужения объединения с учетом значения дискриминантного ключа.

В идеале члены union должны иметь литеральные типизированные kind свойства, так что это будет настоящий размеченный союз, и вы получите желаемое сужение автоматически, не нуждаясь во вспомогательной функции:

class CheckboxInput extends WidgetProps {
    declare checked: boolean;
    declare disabled: boolean;
    declare kind: "CheckboxInput" // <-- literal type
}

class DropdownInput extends WidgetProps {
    declare entries: string[];
    declare selectedIndex: number | undefined;
    declare kind: "DropdownInput" // <-- literal type
}

declare const props: CheckboxInput | DropdownInput;

if (props.kind === "CheckboxInput") {
    props.checked // props is automatically narrowed to CheckboxInput
}

if (props.kind === "DropdownInput") {
    props.entries // props is automatically narrowed to DropdownInput
}

Но если по какой-то причине вы не можете этого сделать и вам нужно оставить тип свойства kind в каждом подклассе, то мы можем написать вашу функцию narrowWidgetProps() следующим образом:

const widgetSubTypes = [
    { value: CheckboxInput, name: "CheckboxInput" },
    { value: DropdownInput, name: "DropdownInput" },
] as const;

type WidgetSubTypes = typeof widgetSubTypes[number];
type WidgetKindMap = { [T in WidgetSubTypes as T["name"]]: InstanceType<T["value"]> };
/* type WidgetKindMap = {
    CheckboxInput: CheckboxInput;
    DropdownInput: DropdownInput;
} */
type WidgetPropsNames = keyof WidgetKindMap
type WidgetPropsSet = WidgetKindMap[WidgetPropsNames]


function narrowWidgetProps<K extends WidgetPropsNames>(props: WidgetPropsSet, kind: K) {
    if (props.kind === kind) return props as WidgetKindMap[K]
    else return undefined;
}

Я использую определение widgetSubTypes для генерации WidgetKindMap, вспомогательного типа, ключами которого являются буквальные значения kind (которые вместе составляют объединение WidgetPropsNames), а значениями являются типы экземпляров соответствующих подклассов WidgetProps (которые вместе составляют WidgetPropsSet союз).

Тогда функция narrowWidgetProps() является общей в K, типом параметра kind. Если это не соответствует свойству kind аргумента props, мы возвращаем undefined. Если он действительно соответствует, то мы утверждаем , что props на самом деле относится к типу WidgetKindMap[K] (индексированный тип доступа означает «тип значения WidgetKindMap, соответствующий ключу типа K»).

Нам нужно это утверждение, as WidgetKindMap[K], потому что у компилятора нет оснований полагать, что сопоставление kind свойств действительно может сузить props до этого типа. Если бы он действительно так думал, то WidgetPropsSet уже был бы дискриминированным союзом, и это усилие было бы ненужным, как упоминалось выше.

В любом случае, давайте проверим это:

declare const props: WidgetPropsSet;

const narrowedCheckboxInput = narrowWidgetProps(props, "CheckboxInput");
if (narrowedCheckboxInput) {
    // const narrowedCheckboxInput: CheckboxInput | undefined
    narrowedCheckboxInput.checked
}

const narrowedDropdownInput = narrowWidgetProps(props, "DropdownInput");
if (narrowedDropdownInput) {
    // const narrowedDropdownInput: DropdownInput | undefined
    narrowedDropdownInput.entries
}

Выглядит неплохо. Тип возвращаемого значения narrowWidgetProps() зависит от аргумента kind так, как вы хотите.

Площадка ссылка на код