This page covers advanced concepts, and interactions between features.
Generic functions and overloads do not work well together. When given an overloaded function as a parameter, generics use the last overload (excluding the implementation signature).
Because of this, the last overload should always be a catch-all overload.
Interface definitions are not evaluated until its properties need to be checked.
This may happen if you use an indexed access type (T["a"]), or when checking assignability -
either in an assignment (let a: T = {}), or a conditional type (T extends U ? V : W)