Flowtypeの不可解な挙動

flowtest.js

/* @flow */
type NMap = { [key:string]: number }

// これは当然だめ
const map1: NMap = {
  a: 1,
  b: 2,
  c: 'a',
};

// これもだめ
const map2: NMap = {
  a: 1,
  b: 2,
  ['c']: 'a',
};

// これもだめ
const c1 = 'c';
const map3: NMap = {
  a: 1,
  b: 2,
  [c1]: 'a',
};

// でもこれは通ってしまう！
const map4: NMap = {
  a: 1,
  b: 2,
  ['c'+'d']: 'a',
};

// これも通ってしまう！
const c2 = 'c'+'d';
const map5: NMap = {
  a: 1,
  b: 2,
  [c2]: 'a',
};