но вобще да ошибка странная

не помогло

вот сам тип

а закиньте в песочницу пожалуйста

Всем привет. Пытаюсь разобраться с дженериками и сейчас столкнулся с такой проблемой:

// Тип описывает параметры поля какой-либо формы. 
// T это тип значения поля, V это тип описывающий все значения формы
interface Field<T, V> {
    name: string;
    type: string;
    validate: (value: T | null | undefined, allValues: V) => boolean;
}

// Это конкретный тип для строковых полей
interface StringField<T> extends Field<string, T> {
    type: 'string',
}

// Это конкретный тип для числовых полей
interface NumberField<T> extends Field<number, T> {
    type: 'number',
}

// Это тип описывающий список полей какой-либо формы
type Fields<T> = Field<any, T>[]

Теперь я создаю поля для конкретной формы:

i

nterface Person {
    name: string;
    age: number;
}

const nameField: StringField<Person> = { 
    name: 'name',
    type: 'string',
    validate: (value: string | null | undefined, allValues: Person): boolean => {
        return value != null && value !== '';
    },
}

const ageField: NumberField<Person> = {
    name: 'age',
    type: 'number',
    validate: (value: number | null | undefined, allValues: Person): boolean => {
        return value != null && value > 0;
    },
}

// В этом случае я ожидаю список полей для формы Person, и все поля имеют соответствующий дженерик.
// Тут я не ожидаю ошибок и их нет.
const fields: Fields<Person> = [nameField, ageField];

Далее я хочу убедиться, что если я укажу неправильный дженерик для поля, то TypeScript ругнется:

inte

rface City {
    name: string;
}

// Намеренно указываю в качестве дженерика тип City вместо Person
const incorrectAgeField: NumberField<City> = { 
    name: 'age',
    type: 'number',
    validate: (value: number | null | undefined, allValues: City): boolean => {
        return value != null && value > 0;
    },
}

// Тут я хочу чтобы TypeScript ругнулся ошибкой, что-то типа такого:
// "incorrectAgeField must be Field<any, Person> but it is Field<any, City>".
// Но ошибок нет и TypeScript считает что это корректное выражение.
const incorrectFields: Fields<City> = [nameField, incorrectAgeField];

По

дскажите почему TypeScript не ругается, и как мне реализовать то поведение которое я хочу?

у вас в TSearchbarCustomContent указано что он опциональный

да, но я проверяю ведь на undef

мне и нужно, чтобы он был опциональным

может быть либо left, либо right, либо оба присутствовать в объекте

пахоже на баг

да уж)

вот такой воркэроунд
https://www.typescriptlang.org/play/index.html?ssl=14&ssc=16&pln=15&pc=2#code/KYDwDg9gTgLgBDAnmYcAqBlYBDKBjAI1wGEBXAZxggFtiIA7GYRjASwBNhy4BeOAcgA2wAGYx+cAD4CorAOYALcQChloSLATJUmHPgVEoZSjTqNm8PgG9lcO3ADaAa2CI4reuiy5CJClVoGJhYOLgBdAH4ALjgACgBKXgA+OGx6RGUAX1VlPAZKODlgGGMAs2DLOLx-UyCLGN0fAz8TQPNGKThSek4RD2B2ABo4clCG73xDUtr2mDZOckSeFJt7ODz6ApFuvF51mraKiIA6B1HOMIBuW3tWETikFAh77fpdng+BV7wYVgZ+RKrNb2KDFUhQTzfBI3OzZGFwUEwcGeeikQSCLJAA

интересненько

спасибо

но вы ишью все равно откройте

а что вас там удивляет?

то что внутри ифа он все еще видит ситуацию при которой там окажется undefined