False positive errors for destructured arguments

[bitspook]

type TypeDateTime = {
    date: string,
    time: string
};

type TypeAction = {
    data: Object,
    name: string
};

seDateTime = ({date, time}: TypeDateTime) : TypeAction => {
    return {
        data: {
            date,
            time
        },
        name: 'DATE_TIME'
    };
};

Throws the error:

VM108950:68 Uncaught TypeError: Value of argument 0 violates contract.

Expected:
{ date: string;
  time: string;
}

Got:
{ date: string;
  time: string;
}

Which goes away if I make date and time in TypeDateTime optional.

Am I doing something wrong here or is this a bug?

[phpnode]

Looks like a bug introduced in the fix for #95.

For now, you can work around with:

// typecheck: ignore statement
seDateTime = ({date, time}: TypeDateTime) : TypeAction => {
    return {
        data: {
            date,
            time
        },
        name: 'DATE_TIME'
    };
};

I will try and fix the bug later today or tomorrow.

[phpnode]

Bug only affects arrow functions, another work around would be to use a normal function.

[phpnode]

fixed in 3.6.1