polymorphic.ts

type A = {
  a: string
  b: string
}

const c = {
  a: 'a',
  b: 'b',
  c: 'c',
}

const a: A = c // valid
Object.keys(a) // a, b, c
a.c = "c2" // error
a.d = "d" // error