No error with Partial<Record<number, {}>> in object spreading

TypeScript Version: 3.8.3

Search Terms: [type inference], [partial], [record], [object spreading]

Code

type Point = {
  x: number
  y: number
}

type Space = Partial<Record<number, Point>>


function addPointReducer(point: Point, pointId: number, prevSpace: Space): Space {
  const prevPoint = prevSpace[pointId]

  return {
    ...prevPoint,
    [pointId]: point,
  }
}

Expected behavior:
Should throw an error on ...prevPoint because Point doesn't equal to Space.

Actual behavior:
No error.

Playground Link: https://www.typescriptlang.org/play/?ssl=1&ssc=1&pln=17&pc=1#code/C4TwDgpgBACg9gSwHbCgXigbwFBSgDwC4okBXAWwCMIAnXKEYsq27AX221EigGUwAhgGNoGGAJrAEAgDYAeAEoQhcGgBM5zajQA0sRCgB8hztgBmpJEKlwkUAWrXxkwJWtIiaACjAHgxZxQ9XxcASTUmCm1gmggAN35hCGJEkQBKFMERLHoVJABnVDBYuMDUDGL41IgAbRCUcIBdTjxY4FIaOxw8PAA6fsrSvx16PDq-JuJ64BG8Dg4gA

Related Issues:

Inizia riproducendo l’esempio nel TypeScript Playground collegato con il comportamento segnalato di TypeScript 3.8.3. Leggi i percorsi di controllo dei tipi per Object Spreading, Indexed Access e Partial<Record<number, Point>>. Il lavoro è completato quando l’esempio segnala in modo coerente un errore durante lo spreading di prevPoint, con una copertura di regressione mirata per questo caso.