Incorrect compile time type for dictionary

[OliverJAsh]

Given

const Dic = t.dictionary(t.literal('foo'), t.string);
type DicT = t.TypeOf<typeof Dic>;

const dic: DicT = {
    foo: 'bar',
    baz: 'bob'
};

I expect this to error because baz in not an allowed property. DicT should be equivalent to { [key in 'foo']: string } (mapped type with string literals), however it is equivalent to { [key: string]: string }.

Is this intentional or can we fix it?

[gcanti]

@OliverJAsh thanks for reporting, just released a fix

[OliverJAsh]

Thank you!

…

On Fri, 29 Sep 2017 at 08:16 Giulio Canti ***@***.***> wrote: @OliverJAsh <https://github.com/oliverjash> thanks for reporting, just released a fix — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#75 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AA4QCcIcjpr9qy9SuLu-RN7--GneIgttks5snJk4gaJpZM4Pn0uP> .