// A *self-contained* demonstration of the problem follows...
    interface Test {
        a?: number;
        b?: string;
    }
    interface TestWithStrictProp {
        a?: number;
        b?: string;
        c: string;
    }

    interface TestIndex {
        [key: string]: Test;
    }
    interface TestIndexWithStrict {
       [key: string]: TestWithStrictProp;
    }
    declare function testFunc<T extends TestIndex>(t: T): void;
    declare function testFuncStrict<T extends TestIndexWithStrict>(t: T): void;

testFunc({
  test: {
      // Compiler doesn't see properties here
  }
});

testFuncStrict({
  test: {
     // Compiler see a?, b? and c
  }
});