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.

Inizia con il TypeScript Playground collegato e con l’esempio di intersezione generica nell’issue, quindi traccia il modo in cui il checker valuta l’oggetto restituito rispetto a PropsWithId

. L’issue non indica file o test del repository; il lavoro è completo quando l’esempio viene compilato senza l’errore di assegnabilità segnalato, mantenendo il tipo PropsWithId

previsto.