如何在属性对象上使用带有条件的typescript正确键入对象

interface Person {
  name: string;
  age: number;
  isStudent: boolean;
}

type ConditionalPerson<T extends Person> = T & (
  T['isStudent'] extends true ? { status: string } : {}
);

const student: ConditionalPerson<{ name: string; age: number; isStudent: true }> = {
  name: 'Alice',
  age: 20,
  isStudent: true,
  status: 'Freshman',
};

const nonStudent: ConditionalPerson<{ name: string; age: number; isStudent: false }> = {
  name: 'Bob',
  age: 30,
  isState: false,
};