Next TypeScript release, due February 25 ... checked against in a conditional type or used as a key in an indexed access type. When using a conditional type, at least two checks must exist ...