Typescript - Is there a consistent logic behind how the engine infers and how it applies the inferrence?

Question

Consider the below code; its clear the TS is inferring the T generic from Array<{key: T}> and the return value of (input: Record