Ограничить общий тип ключа на основе типа поиска в TypeScript

Я работаю над функцией, которая принимает два параметра типа, T и K. T расширяет тип Record, а K является ключом первого типа. Есть ли способ ограничить тип ключа на основе его типа поиска (T[K]) в T?

У меня есть следующие типы:

type FormValue = string | number | boolean | null;

type FormValues = Record<string, FormValue>;

и следующая функция:

function numericFormHelperFunc<T extends FormValues, K extends keyof T>(key: K, formValues: T) {}

Есть ли способ ограничить, какие клавиши можно использовать для этой функции, чтобы были разрешены только клавиши в formValues, которые имеют типы поиска, скажем, number? В основном способ утверждать, что T[K] extends number.

Например, если у меня есть этот пример типа формы:

type MyFormValues = {
    name: string;
    age: number;
    numPets: number;
}

Могу ли я добавить ограничение типа к numericFormHelperFunc, чтобы можно было использовать только ключи "age" и "numPets"?

Я ищу статический способ сделать это, чтобы получать предупреждения редактора о попытке использовать numericFormHelperFunc("name", myFormValues). Также хотелось бы, чтобы машинописный текст знал, что значение при поиске key в formValues имеет определенный тип, а не просто T[K] (например, чтобы числовые методы и операторы можно было использовать без утверждений типа).