type A = {a: 'a'} | {b: 'b'};

const c: A = {
  a: 'a',
  b: 'b'
};
type C = typeof c; // === A
// Confused TS: I cannot access c.a nor c.b