Index signature lost with empty intersections #27044

type choices<IChoiceList extends {
    [key: string]: boolean;
}> = IChoiceList & {
    shoes:boolean;
    food:boolean;
};

type IMyChoiceList = {
    car: true
};

type IUnknownChoiceList = {};

var defaultChoices: choices<{}>;
var defaultChoicesAndEmpty: choices<{} & {}>;
/*
Type '{}' does not satisfy the constraint '{ [key: string]: boolean; }'.
  Index signature is missing in type '{}'.
*/

var myChoices: choices<IMyChoiceList>;
var myChoicesAndEmpty: choices<IMyChoiceList & {}>;

var unknownChoices: choices<IUnknownChoiceList>;
var unknownChoicesAndEmpty: choices<IUnknownChoiceList & {}>;
/*
Type '{}' does not satisfy the constraint '{ [key: string]: boolean; }'.
*/