TypeScript incorrectly says return is not assignable to an intersection containing all the required props

Bug Report

🔎 Search Terms

& generic intersection omit spread

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about generics

⏯ Playground Link

Playground link with relevant code

💻 Code

export interface BaseProps {
  id?: string;
  name: string;
}

export type PropsWithId<P extends BaseProps> = Omit<
  P,
  'id'
> & { id: string };

export default function usePropsWithId<P extends BaseProps>(
  props: P
): PropsWithId<P> {
  const { id: idProp, name, ...other } = props;
  const id = idProp ?? `${name}-id`;

  return { id, name, ...other };
}

🙁 Actual behavior

The return line gets this TypeScript error:

Type '{ id: string; name: string; } & Omit<P, "id" | "name">' is not assignable to type 'PropsWithId<P>'.
  Type '{ id: string; name: string; } & Omit<P, "id" | "name">' is not assignable to type 'Omit<P, "id">'.

This doesn't make sense since PropsWithId<P> is Omit<P, 'id'> & { id: string };

🙂 Expected behavior

This should work without a TypeScript error.

Bắt đầu với TypeScript Playground được liên kết và ví dụ intersection generic trong issue, sau đó truy vết cách checker đánh giá đối tượng được trả về so với PropsWithId

. Issue không nêu tên tệp hoặc test nào trong repository; hoàn tất nghĩa là mẫu biên dịch mà không có lỗi assignability được báo cáo, đồng thời vẫn giữ nguyên kiểu PropsWithId

như mong đợi.