What is the resolved type of `Keys` below?

type U = { a: 1; b: 2 } | { a: 3; c: 4 }; type Keys = keyof U;