One index signature (`[key: string]: V`) as the resolve tier records it. These are invisible to property enumeration - `getPropertiesOfType` returns nothing for a type whose only content is an index signature - so a type can carry these and no members at all, and the shape tier has to consult both before deciding a type has no shape worth declaring.