dump-types.exp

[
  {
    "type":"number",
    "reasons":[
      {
        "desc":"number",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":2,"column":11,"offset":19},
          "end":{"line":2,"column":29,"offset":38}
        },
        "path":"test.js",
        "line":2,
        "endline":2,
        "start":11,
        "end":29
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":2,"column":5,"offset":13},
      "end":{"line":2,"column":7,"offset":16}
    },
    "path":"test.js",
    "line":2,
    "endline":2,
    "start":5,
    "end":7
  },
  {
    "type":"number",
    "reasons":[
      {
        "desc":"number",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":2,"column":11,"offset":19},
          "end":{"line":2,"column":29,"offset":38}
        },
        "path":"test.js",
        "line":2,
        "endline":2,
        "start":11,
        "end":29
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":2,"column":11,"offset":19},
      "end":{"line":2,"column":29,"offset":38}
    },
    "path":"test.js",
    "line":2,
    "endline":2,
    "start":11,
    "end":29
  },
  {
    "type":"(x: number) => void",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":3,"column":10,"offset":49},
      "end":{"line":3,"column":12,"offset":52}
    },
    "path":"test.js",
    "line":3,
    "endline":3,
    "start":10,
    "end":12
  },
  {
    "type":"number",
    "reasons":[
      {
        "desc":"number",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":4,"column":5,"offset":64},
          "end":{"line":4,"column":5,"offset":65}
        },
        "path":"test.js",
        "line":4,
        "endline":4,
        "start":5,
        "end":5
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":3,"column":14,"offset":53},
      "end":{"line":3,"column":14,"offset":54}
    },
    "path":"test.js",
    "line":3,
    "endline":3,
    "start":14,
    "end":14
  },
  {
    "type":"(x: number) => void",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":4,"column":1,"offset":60},
      "end":{"line":4,"column":3,"offset":63}
    },
    "path":"test.js",
    "line":4,
    "endline":4,
    "start":1,
    "end":3
  },
  {
    "type":"void",
    "reasons":[
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":4,"column":1,"offset":60},
          "end":{"line":4,"column":6,"offset":66}
        },
        "path":"test.js",
        "line":4,
        "endline":4,
        "start":1,
        "end":6
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":4,"column":1,"offset":60},
      "end":{"line":4,"column":6,"offset":66}
    },
    "path":"test.js",
    "line":4,
    "endline":4,
    "start":1,
    "end":6
  },
  {
    "type":"number",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":4,"column":5,"offset":64},
      "end":{"line":4,"column":5,"offset":65}
    },
    "path":"test.js",
    "line":4,
    "endline":4,
    "start":5,
    "end":5
  },
  {
    "type":"string",
    "reasons":[
      {
        "desc":"string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":5,"column":7,"offset":74},
          "end":{"line":5,"column":12,"offset":80}
        },
        "path":"test.js",
        "line":5,
        "endline":5,
        "start":7,
        "end":12
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":5,"column":5,"offset":72},
      "end":{"line":5,"column":12,"offset":80}
    },
    "path":"test.js",
    "line":5,
    "endline":5,
    "start":5,
    "end":12
  },
  {
    "type":"number",
    "reasons":[
      {
        "desc":"number",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":5,"column":16,"offset":83},
          "end":{"line":5,"column":18,"offset":86}
        },
        "path":"test.js",
        "line":5,
        "endline":5,
        "start":16,
        "end":18
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":5,"column":16,"offset":83},
      "end":{"line":5,"column":18,"offset":86}
    },
    "path":"test.js",
    "line":5,
    "endline":5,
    "start":16,
    "end":18
  },
  {
    "type":"(x: empty) => empty",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":7,"column":10,"offset":98},
      "end":{"line":7,"column":20,"offset":109}
    },
    "path":"test.js",
    "line":7,
    "endline":7,
    "start":10,
    "end":20
  },
  {
    "type":"empty",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":7,"column":22,"offset":110},
      "end":{"line":7,"column":22,"offset":111}
    },
    "path":"test.js",
    "line":7,
    "endline":7,
    "start":22,
    "end":22
  },
  {
    "type":"empty",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":8,"column":10,"offset":124},
      "end":{"line":8,"column":10,"offset":125}
    },
    "path":"test.js",
    "line":8,
    "endline":8,
    "start":10,
    "end":10
  },
  {
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[
      {
        "desc":"arrow function",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":25,"offset":189},
          "end":{"line":12,"column":61,"offset":226}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":25,
        "end":61
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":7,"offset":171},
      "end":{"line":12,"column":21,"offset":186}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":7,
    "end":21
  },
  {
    "type":"?(string | Object)",
    "reasons":[
      {
        "desc":"object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"?object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"?object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"?string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"?string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"empty",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"empty",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      },
      {
        "desc":"empty",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"empty",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":25,"offset":189},
      "end":{"line":12,"column":27,"offset":192}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":25,
    "end":27
  },
  {
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":25,"offset":189},
      "end":{"line":12,"column":61,"offset":226}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":25,
    "end":61
  },
  {
    "type":"?(string | Object)",
    "reasons":[
      {
        "desc":"object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"?object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"?string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"empty",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":32,"offset":196},
      "end":{"line":12,"column":34,"offset":199}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":32,
    "end":34
  },
  {
    "type":"string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":32,"offset":196},
      "end":{"line":12,"column":61,"offset":226}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":32,
    "end":61
  },
  {
    "type":"null",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":40,"offset":204},
      "end":{"line":12,"column":43,"offset":208}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":40,
    "end":43
  },
  {
    "type":"void",
    "reasons":[
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":47,"offset":211},
          "end":{"line":12,"column":55,"offset":220}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":47,
        "end":55
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":47,"offset":211},
      "end":{"line":12,"column":55,"offset":220}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":47,
    "end":55
  },
  {
    "type":"string | void | Object",
    "reasons":[
      {
        "desc":"object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":59,"offset":223},
          "end":{"line":12,"column":61,"offset":226}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":59,
        "end":61
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":59,"offset":223},
          "end":{"line":12,"column":61,"offset":226}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":59,
        "end":61
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":59,"offset":223},
          "end":{"line":12,"column":61,"offset":226}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":59,
        "end":61
      },
      {
        "desc":"string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":59,"offset":223},
          "end":{"line":12,"column":61,"offset":226}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":59,
        "end":61
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":59,"offset":223},
      "end":{"line":12,"column":61,"offset":226}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":59,
    "end":61
  },
  {
    "type":"(x: ?Object) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":14,"column":10,"offset":238},
      "end":{"line":14,"column":11,"offset":240}
    },
    "path":"test.js",
    "line":14,
    "endline":14,
    "start":10,
    "end":11
  },
  {
    "type":"?Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":14,"column":13,"offset":241},
      "end":{"line":14,"column":22,"offset":251}
    },
    "path":"test.js",
    "line":14,
    "endline":14,
    "start":13,
    "end":22
  },
  {
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":14,"column":34,"offset":262},
      "end":{"line":14,"column":48,"offset":277}
    },
    "path":"test.js",
    "line":14,
    "endline":14,
    "start":34,
    "end":48
  },
  {
    "type":"string | void | Object",
    "reasons":[
      {
        "desc":"conditional",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":34,"offset":262},
          "end":{"line":14,"column":51,"offset":280}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":34,
        "end":51
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":14,"column":34,"offset":262},
      "end":{"line":14,"column":51,"offset":280}
    },
    "path":"test.js",
    "line":14,
    "endline":14,
    "start":34,
    "end":51
  },
  {
    "type":"?Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":14,"column":50,"offset":278},
      "end":{"line":14,"column":50,"offset":279}
    },
    "path":"test.js",
    "line":14,
    "endline":14,
    "start":50,
    "end":50
  },
  {
    "type":"(x: ?Object) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":15,"column":10,"offset":293},
      "end":{"line":15,"column":11,"offset":295}
    },
    "path":"test.js",
    "line":15,
    "endline":15,
    "start":10,
    "end":11
  },
  {
    "type":"?Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":15,"column":13,"offset":296},
      "end":{"line":15,"column":22,"offset":306}
    },
    "path":"test.js",
    "line":15,
    "endline":15,
    "start":13,
    "end":22
  },
  {
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":15,"column":34,"offset":317},
      "end":{"line":15,"column":48,"offset":332}
    },
    "path":"test.js",
    "line":15,
    "endline":15,
    "start":34,
    "end":48
  },
  {
    "type":"string | void | Object",
    "reasons":[
      {
        "desc":"conditional",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":34,"offset":317},
          "end":{"line":15,"column":51,"offset":335}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":34,
        "end":51
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":15,"column":34,"offset":317},
      "end":{"line":15,"column":51,"offset":335}
    },
    "path":"test.js",
    "line":15,
    "endline":15,
    "start":34,
    "end":51
  },
  {
    "type":"?Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":15,"column":50,"offset":333},
      "end":{"line":15,"column":50,"offset":334}
    },
    "path":"test.js",
    "line":15,
    "endline":15,
    "start":50,
    "end":50
  },
  {
    "type":"(x: ?string) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":16,"column":10,"offset":348},
      "end":{"line":16,"column":11,"offset":350}
    },
    "path":"test.js",
    "line":16,
    "endline":16,
    "start":10,
    "end":11
  },
  {
    "type":"?string",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":16,"column":13,"offset":351},
      "end":{"line":16,"column":22,"offset":361}
    },
    "path":"test.js",
    "line":16,
    "endline":16,
    "start":13,
    "end":22
  },
  {
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":16,"column":34,"offset":372},
      "end":{"line":16,"column":48,"offset":387}
    },
    "path":"test.js",
    "line":16,
    "endline":16,
    "start":34,
    "end":48
  },
  {
    "type":"string | void | Object",
    "reasons":[
      {
        "desc":"conditional",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":34,"offset":372},
          "end":{"line":16,"column":51,"offset":390}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":34,
        "end":51
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":16,"column":34,"offset":372},
      "end":{"line":16,"column":51,"offset":390}
    },
    "path":"test.js",
    "line":16,
    "endline":16,
    "start":34,
    "end":51
  },
  {
    "type":"?string",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":16,"column":50,"offset":388},
      "end":{"line":16,"column":50,"offset":389}
    },
    "path":"test.js",
    "line":16,
    "endline":16,
    "start":50,
    "end":50
  },
  {
    "type":"(x: ?string) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":17,"column":10,"offset":403},
      "end":{"line":17,"column":11,"offset":405}
    },
    "path":"test.js",
    "line":17,
    "endline":17,
    "start":10,
    "end":11
  },
  {
    "type":"?string",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":17,"column":13,"offset":406},
      "end":{"line":17,"column":22,"offset":416}
    },
    "path":"test.js",
    "line":17,
    "endline":17,
    "start":13,
    "end":22
  },
  {
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":17,"column":34,"offset":427},
      "end":{"line":17,"column":48,"offset":442}
    },
    "path":"test.js",
    "line":17,
    "endline":17,
    "start":34,
    "end":48
  },
  {
    "type":"string | void | Object",
    "reasons":[
      {
        "desc":"conditional",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":34,"offset":427},
          "end":{"line":17,"column":51,"offset":445}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":34,
        "end":51
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":17,"column":34,"offset":427},
      "end":{"line":17,"column":51,"offset":445}
    },
    "path":"test.js",
    "line":17,
    "endline":17,
    "start":34,
    "end":51
  },
  {
    "type":"?string",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":17,"column":50,"offset":443},
      "end":{"line":17,"column":50,"offset":444}
    },
    "path":"test.js",
    "line":17,
    "endline":17,
    "start":50,
    "end":50
  },
  {
    "type":"(obj: IdxObject, pathCallback: (demaybifiedObj: $IdxWrapper<IdxObject>) => IdxResult) => ?IdxResult",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":19,"column":1,"offset":450},
      "end":{"line":19,"column":34,"offset":484}
    },
    "path":"test.js",
    "line":19,
    "endline":19,
    "start":1,
    "end":34
  },
  {
    "type":"{a?: {b: ?{c: null | {d: number}}}}",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":20,"column":1,"offset":485},
      "end":{"line":20,"column":53,"offset":538}
    },
    "path":"test.js",
    "line":20,
    "endline":20,
    "start":1,
    "end":53
  },
  {
    "type":"?number",
    "reasons":[
      {
        "desc":"?assignment of var `idxResult`",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":7,"offset":545},
      "end":{"line":21,"column":15,"offset":554}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":7,
    "end":15
  },
  {
    "type":"(obj: IdxObject, pathCallback: (demaybifiedObj: $IdxWrapper<IdxObject>) => IdxResult) => ?IdxResult",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":19,"offset":557},
      "end":{"line":21,"column":21,"offset":560}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":19,
    "end":21
  },
  {
    "type":"?number",
    "reasons":[
      {
        "desc":"?function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":19,"offset":557},
      "end":{"line":21,"column":46,"offset":585}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":19,
    "end":46
  },
  {
    "type":"{a?: {b: ?{c: null | {d: number}}}}",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":23,"offset":561},
      "end":{"line":21,"column":25,"offset":564}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":23,
    "end":25
  },
  {
    "type":"$IdxWrapper<{a?: {b: ?{c: null | {d: number}}}}>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":28,"offset":566},
      "end":{"line":21,"column":30,"offset":569}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":28,
    "end":30
  },
  {
    "type":"(obj: $IdxWrapper<{a?: {b: ?{c: null | {d: number}}}}>) => $IdxWrapper<number>",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":28,"offset":566},
      "end":{"line":21,"column":45,"offset":584}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":28,
    "end":45
  },
  {
    "type":"$IdxWrapper<{a?: {b: ?{c: null | {d: number}}}}>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":35,"offset":573},
      "end":{"line":21,"column":37,"offset":576}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":35,
    "end":37
  },
  {
    "type":"$IdxWrapper<{b: ?{c: null | {d: number}}} | void>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":35,"offset":573},
      "end":{"line":21,"column":39,"offset":578}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":35,
    "end":39
  },
  {
    "type":"$IdxWrapper<?{c: null | {d: number}}>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":35,"offset":573},
      "end":{"line":21,"column":41,"offset":580}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":35,
    "end":41
  },
  {
    "type":"$IdxWrapper<null | {d: number}>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":35,"offset":573},
      "end":{"line":21,"column":43,"offset":582}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":35,
    "end":43
  },
  {
    "type":"$IdxWrapper<number>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":35,"offset":573},
      "end":{"line":21,"column":45,"offset":584}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":35,
    "end":45
  }
]
[
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"number\"\n  },\n  \"kind\":\"NumT\"\n}",
    "type":"number",
    "reasons":[
      {
        "desc":"number",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":2,"column":11,"offset":19},
          "end":{"line":2,"column":29,"offset":38}
        },
        "path":"test.js",
        "line":2,
        "endline":2,
        "start":11,
        "end":29
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":2,"column":5,"offset":13},
      "end":{"line":2,"column":7,"offset":16}
    },
    "path":"test.js",
    "line":2,
    "endline":2,
    "start":5,
    "end":7
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"number\"\n  },\n  \"kind\":\"NumT\"\n}",
    "type":"number",
    "reasons":[
      {
        "desc":"number",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":2,"column":11,"offset":19},
          "end":{"line":2,"column":29,"offset":38}
        },
        "path":"test.js",
        "line":2,
        "endline":2,
        "start":11,
        "end":29
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":2,"column":11,"offset":19},
      "end":{"line":2,"column":29,"offset":38}
    },
    "path":"test.js",
    "line":2,
    "endline":2,
    "start":11,
    "end":29
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"number\"\n        },\n        \"kind\":\"NumT\"\n      }\n    ],\n    \"paramNames\":[\"x\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"undefined\"\n      },\n      \"kind\":\"VoidT\"\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(x: number) => void",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":3,"column":10,"offset":49},
      "end":{"line":3,"column":12,"offset":52}
    },
    "path":"test.js",
    "line":3,
    "endline":3,
    "start":10,
    "end":12
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"number\"\n  },\n  \"kind\":\"NumT\"\n}",
    "type":"number",
    "reasons":[
      {
        "desc":"number",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":4,"column":5,"offset":64},
          "end":{"line":4,"column":5,"offset":65}
        },
        "path":"test.js",
        "line":4,
        "endline":4,
        "start":5,
        "end":5
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":3,"column":14,"offset":53},
      "end":{"line":3,"column":14,"offset":54}
    },
    "path":"test.js",
    "line":3,
    "endline":3,
    "start":14,
    "end":14
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"number\"\n        },\n        \"kind\":\"NumT\"\n      }\n    ],\n    \"paramNames\":[\"x\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"undefined\"\n      },\n      \"kind\":\"VoidT\"\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(x: number) => void",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":4,"column":1,"offset":60},
      "end":{"line":4,"column":3,"offset":63}
    },
    "path":"test.js",
    "line":4,
    "endline":4,
    "start":1,
    "end":3
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"undefined\"\n  },\n  \"kind\":\"VoidT\"\n}",
    "type":"void",
    "reasons":[
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":4,"column":1,"offset":60},
          "end":{"line":4,"column":6,"offset":66}
        },
        "path":"test.js",
        "line":4,
        "endline":4,
        "start":1,
        "end":6
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":4,"column":1,"offset":60},
      "end":{"line":4,"column":6,"offset":66}
    },
    "path":"test.js",
    "line":4,
    "endline":4,
    "start":1,
    "end":6
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"number\"\n  },\n  \"kind\":\"NumT\"\n}",
    "type":"number",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":4,"column":5,"offset":64},
      "end":{"line":4,"column":5,"offset":65}
    },
    "path":"test.js",
    "line":4,
    "endline":4,
    "start":5,
    "end":5
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"string\"\n  },\n  \"kind\":\"StrT\"\n}",
    "type":"string",
    "reasons":[
      {
        "desc":"string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":5,"column":7,"offset":74},
          "end":{"line":5,"column":12,"offset":80}
        },
        "path":"test.js",
        "line":5,
        "endline":5,
        "start":7,
        "end":12
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":5,"column":5,"offset":72},
      "end":{"line":5,"column":12,"offset":80}
    },
    "path":"test.js",
    "line":5,
    "endline":5,
    "start":5,
    "end":12
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"number\"\n  },\n  \"kind\":\"NumT\"\n}",
    "type":"number",
    "reasons":[
      {
        "desc":"number",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":5,"column":16,"offset":83},
          "end":{"line":5,"column":18,"offset":86}
        },
        "path":"test.js",
        "line":5,
        "endline":5,
        "start":16,
        "end":18
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":5,"column":16,"offset":83},
      "end":{"line":5,"column":18,"offset":86}
    },
    "path":"test.js",
    "line":5,
    "endline":5,
    "start":16,
    "end":18
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"empty\"\n        },\n        \"kind\":\"EmptyT\"\n      }\n    ],\n    \"paramNames\":[\"x\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"empty\"\n      },\n      \"kind\":\"EmptyT\"\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(x: empty) => empty",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":7,"column":10,"offset":98},
      "end":{"line":7,"column":20,"offset":109}
    },
    "path":"test.js",
    "line":7,
    "endline":7,
    "start":10,
    "end":20
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"empty\"\n  },\n  \"kind\":\"EmptyT\"\n}",
    "type":"empty",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":7,"column":22,"offset":110},
      "end":{"line":7,"column":22,"offset":111}
    },
    "path":"test.js",
    "line":7,
    "endline":7,
    "start":22,
    "end":22
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"empty\"\n  },\n  \"kind\":\"EmptyT\"\n}",
    "type":"empty",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":8,"column":10,"offset":124},
      "end":{"line":8,"column":10,"offset":125}
    },
    "path":"test.js",
    "line":8,
    "endline":8,
    "start":10,
    "end":10
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"?union\"\n        },\n        \"kind\":\"MaybeT\",\n        \"type\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"union\"\n          },\n          \"kind\":\"UnionT\",\n          \"types\":[\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            }\n          ]\n        }\n      }\n    ],\n    \"paramNames\":[\"val\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"union\"\n      },\n      \"kind\":\"UnionT\",\n      \"types\":[\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"undefined\"\n          },\n          \"kind\":\"VoidT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      ]\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[
      {
        "desc":"arrow function",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":25,"offset":189},
          "end":{"line":12,"column":61,"offset":226}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":25,
        "end":61
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":7,"offset":171},
      "end":{"line":12,"column":21,"offset":186}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":7,
    "end":21
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?union\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"union\"\n    },\n    \"kind\":\"UnionT\",\n    \"types\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"string\"\n        },\n        \"kind\":\"StrT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"string\"\n        },\n        \"kind\":\"StrT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"string\"\n        },\n        \"kind\":\"StrT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"string\"\n        },\n        \"kind\":\"StrT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"any object\"\n        },\n        \"kind\":\"AnyObjT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"any object\"\n        },\n        \"kind\":\"AnyObjT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"any object\"\n        },\n        \"kind\":\"AnyObjT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"any object\"\n        },\n        \"kind\":\"AnyObjT\"\n      }\n    ]\n  }\n}",
    "type":"?(string | Object)",
    "reasons":[
      {
        "desc":"object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"?object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"?object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"?string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"?string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"empty",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"empty",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      },
      {
        "desc":"empty",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":50,"offset":333},
          "end":{"line":15,"column":50,"offset":334}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":50,
        "end":50
      },
      {
        "desc":"empty",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":50,"offset":278},
          "end":{"line":14,"column":50,"offset":279}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":50,
        "end":50
      },
      {
        "desc":"string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":50,"offset":443},
          "end":{"line":17,"column":50,"offset":444}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":50,
        "end":50
      },
      {
        "desc":"string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":50,"offset":388},
          "end":{"line":16,"column":50,"offset":389}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":50,
        "end":50
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":25,"offset":189},
      "end":{"line":12,"column":27,"offset":192}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":25,
    "end":27
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"?union\"\n        },\n        \"kind\":\"MaybeT\",\n        \"type\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"union\"\n          },\n          \"kind\":\"UnionT\",\n          \"types\":[\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            }\n          ]\n        }\n      }\n    ],\n    \"paramNames\":[\"val\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"union\"\n      },\n      \"kind\":\"UnionT\",\n      \"types\":[\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"undefined\"\n          },\n          \"kind\":\"VoidT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      ]\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":25,"offset":189},
      "end":{"line":12,"column":61,"offset":226}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":25,
    "end":61
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?union\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"union\"\n    },\n    \"kind\":\"UnionT\",\n    \"types\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"string\"\n        },\n        \"kind\":\"StrT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"string\"\n        },\n        \"kind\":\"StrT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"any object\"\n        },\n        \"kind\":\"AnyObjT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"any object\"\n        },\n        \"kind\":\"AnyObjT\"\n      }\n    ]\n  }\n}",
    "type":"?(string | Object)",
    "reasons":[
      {
        "desc":"object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"?object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"?string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"empty",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      },
      {
        "desc":"string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":32,"offset":196},
          "end":{"line":12,"column":34,"offset":199}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":32,
        "end":34
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":32,"offset":196},
      "end":{"line":12,"column":34,"offset":199}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":32,
    "end":34
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"union\"\n  },\n  \"kind\":\"UnionT\",\n  \"types\":[\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"string\"\n      },\n      \"kind\":\"StrT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"undefined\"\n      },\n      \"kind\":\"VoidT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"any object\"\n      },\n      \"kind\":\"AnyObjT\"\n    }\n  ]\n}",
    "type":"string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":32,"offset":196},
      "end":{"line":12,"column":61,"offset":226}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":32,
    "end":61
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"null\"\n  },\n  \"kind\":\"NullT\"\n}",
    "type":"null",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":40,"offset":204},
      "end":{"line":12,"column":43,"offset":208}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":40,
    "end":43
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"undefined\"\n  },\n  \"kind\":\"VoidT\"\n}",
    "type":"void",
    "reasons":[
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":47,"offset":211},
          "end":{"line":12,"column":55,"offset":220}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":47,
        "end":55
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":47,"offset":211},
      "end":{"line":12,"column":55,"offset":220}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":47,
    "end":55
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"union\"\n  },\n  \"kind\":\"UnionT\",\n  \"types\":[\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"string\"\n      },\n      \"kind\":\"StrT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"undefined\"\n      },\n      \"kind\":\"VoidT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"any object\"\n      },\n      \"kind\":\"AnyObjT\"\n    }\n  ]\n}",
    "type":"string | void | Object",
    "reasons":[
      {
        "desc":"object type",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":59,"offset":223},
          "end":{"line":12,"column":61,"offset":226}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":59,
        "end":61
      },
      {
        "desc":"undefined",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":59,"offset":223},
          "end":{"line":12,"column":61,"offset":226}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":59,
        "end":61
      },
      {
        "desc":"null",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":59,"offset":223},
          "end":{"line":12,"column":61,"offset":226}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":59,
        "end":61
      },
      {
        "desc":"string",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":12,"column":59,"offset":223},
          "end":{"line":12,"column":61,"offset":226}
        },
        "path":"test.js",
        "line":12,
        "endline":12,
        "start":59,
        "end":61
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":12,"column":59,"offset":223},
      "end":{"line":12,"column":61,"offset":226}
    },
    "path":"test.js",
    "line":12,
    "endline":12,
    "start":59,
    "end":61
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"?any object\"\n        },\n        \"kind\":\"MaybeT\",\n        \"type\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      }\n    ],\n    \"paramNames\":[\"x\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"union\"\n      },\n      \"kind\":\"UnionT\",\n      \"types\":[\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"undefined\"\n          },\n          \"kind\":\"VoidT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      ]\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(x: ?Object) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":14,"column":10,"offset":238},
      "end":{"line":14,"column":11,"offset":240}
    },
    "path":"test.js",
    "line":14,
    "endline":14,
    "start":10,
    "end":11
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?any object\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"any object\"\n    },\n    \"kind\":\"AnyObjT\"\n  }\n}",
    "type":"?Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":14,"column":13,"offset":241},
      "end":{"line":14,"column":22,"offset":251}
    },
    "path":"test.js",
    "line":14,
    "endline":14,
    "start":13,
    "end":22
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"?union\"\n        },\n        \"kind\":\"MaybeT\",\n        \"type\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"union\"\n          },\n          \"kind\":\"UnionT\",\n          \"types\":[\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            }\n          ]\n        }\n      }\n    ],\n    \"paramNames\":[\"val\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"union\"\n      },\n      \"kind\":\"UnionT\",\n      \"types\":[\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"undefined\"\n          },\n          \"kind\":\"VoidT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      ]\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":14,"column":34,"offset":262},
      "end":{"line":14,"column":48,"offset":277}
    },
    "path":"test.js",
    "line":14,
    "endline":14,
    "start":34,
    "end":48
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"union\"\n  },\n  \"kind\":\"UnionT\",\n  \"types\":[\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"string\"\n      },\n      \"kind\":\"StrT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"undefined\"\n      },\n      \"kind\":\"VoidT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"any object\"\n      },\n      \"kind\":\"AnyObjT\"\n    }\n  ]\n}",
    "type":"string | void | Object",
    "reasons":[
      {
        "desc":"conditional",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":14,"column":34,"offset":262},
          "end":{"line":14,"column":51,"offset":280}
        },
        "path":"test.js",
        "line":14,
        "endline":14,
        "start":34,
        "end":51
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":14,"column":34,"offset":262},
      "end":{"line":14,"column":51,"offset":280}
    },
    "path":"test.js",
    "line":14,
    "endline":14,
    "start":34,
    "end":51
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?any object\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"any object\"\n    },\n    \"kind\":\"AnyObjT\"\n  }\n}",
    "type":"?Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":14,"column":50,"offset":278},
      "end":{"line":14,"column":50,"offset":279}
    },
    "path":"test.js",
    "line":14,
    "endline":14,
    "start":50,
    "end":50
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"?any object\"\n        },\n        \"kind\":\"MaybeT\",\n        \"type\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      }\n    ],\n    \"paramNames\":[\"x\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"union\"\n      },\n      \"kind\":\"UnionT\",\n      \"types\":[\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"undefined\"\n          },\n          \"kind\":\"VoidT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      ]\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(x: ?Object) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":15,"column":10,"offset":293},
      "end":{"line":15,"column":11,"offset":295}
    },
    "path":"test.js",
    "line":15,
    "endline":15,
    "start":10,
    "end":11
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?any object\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"any object\"\n    },\n    \"kind\":\"AnyObjT\"\n  }\n}",
    "type":"?Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":15,"column":13,"offset":296},
      "end":{"line":15,"column":22,"offset":306}
    },
    "path":"test.js",
    "line":15,
    "endline":15,
    "start":13,
    "end":22
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"?union\"\n        },\n        \"kind\":\"MaybeT\",\n        \"type\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"union\"\n          },\n          \"kind\":\"UnionT\",\n          \"types\":[\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            }\n          ]\n        }\n      }\n    ],\n    \"paramNames\":[\"val\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"union\"\n      },\n      \"kind\":\"UnionT\",\n      \"types\":[\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"undefined\"\n          },\n          \"kind\":\"VoidT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      ]\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":15,"column":34,"offset":317},
      "end":{"line":15,"column":48,"offset":332}
    },
    "path":"test.js",
    "line":15,
    "endline":15,
    "start":34,
    "end":48
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"union\"\n  },\n  \"kind\":\"UnionT\",\n  \"types\":[\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"string\"\n      },\n      \"kind\":\"StrT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"undefined\"\n      },\n      \"kind\":\"VoidT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"any object\"\n      },\n      \"kind\":\"AnyObjT\"\n    }\n  ]\n}",
    "type":"string | void | Object",
    "reasons":[
      {
        "desc":"conditional",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":15,"column":34,"offset":317},
          "end":{"line":15,"column":51,"offset":335}
        },
        "path":"test.js",
        "line":15,
        "endline":15,
        "start":34,
        "end":51
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":15,"column":34,"offset":317},
      "end":{"line":15,"column":51,"offset":335}
    },
    "path":"test.js",
    "line":15,
    "endline":15,
    "start":34,
    "end":51
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?any object\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"any object\"\n    },\n    \"kind\":\"AnyObjT\"\n  }\n}",
    "type":"?Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":15,"column":50,"offset":333},
      "end":{"line":15,"column":50,"offset":334}
    },
    "path":"test.js",
    "line":15,
    "endline":15,
    "start":50,
    "end":50
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"?string\"\n        },\n        \"kind\":\"MaybeT\",\n        \"type\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        }\n      }\n    ],\n    \"paramNames\":[\"x\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"union\"\n      },\n      \"kind\":\"UnionT\",\n      \"types\":[\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"undefined\"\n          },\n          \"kind\":\"VoidT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      ]\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(x: ?string) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":16,"column":10,"offset":348},
      "end":{"line":16,"column":11,"offset":350}
    },
    "path":"test.js",
    "line":16,
    "endline":16,
    "start":10,
    "end":11
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?string\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"string\"\n    },\n    \"kind\":\"StrT\"\n  }\n}",
    "type":"?string",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":16,"column":13,"offset":351},
      "end":{"line":16,"column":22,"offset":361}
    },
    "path":"test.js",
    "line":16,
    "endline":16,
    "start":13,
    "end":22
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"?union\"\n        },\n        \"kind\":\"MaybeT\",\n        \"type\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"union\"\n          },\n          \"kind\":\"UnionT\",\n          \"types\":[\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            }\n          ]\n        }\n      }\n    ],\n    \"paramNames\":[\"val\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"union\"\n      },\n      \"kind\":\"UnionT\",\n      \"types\":[\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"undefined\"\n          },\n          \"kind\":\"VoidT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      ]\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":16,"column":34,"offset":372},
      "end":{"line":16,"column":48,"offset":387}
    },
    "path":"test.js",
    "line":16,
    "endline":16,
    "start":34,
    "end":48
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"union\"\n  },\n  \"kind\":\"UnionT\",\n  \"types\":[\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"string\"\n      },\n      \"kind\":\"StrT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"undefined\"\n      },\n      \"kind\":\"VoidT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"any object\"\n      },\n      \"kind\":\"AnyObjT\"\n    }\n  ]\n}",
    "type":"string | void | Object",
    "reasons":[
      {
        "desc":"conditional",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":16,"column":34,"offset":372},
          "end":{"line":16,"column":51,"offset":390}
        },
        "path":"test.js",
        "line":16,
        "endline":16,
        "start":34,
        "end":51
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":16,"column":34,"offset":372},
      "end":{"line":16,"column":51,"offset":390}
    },
    "path":"test.js",
    "line":16,
    "endline":16,
    "start":34,
    "end":51
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?string\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"string\"\n    },\n    \"kind\":\"StrT\"\n  }\n}",
    "type":"?string",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":16,"column":50,"offset":388},
      "end":{"line":16,"column":50,"offset":389}
    },
    "path":"test.js",
    "line":16,
    "endline":16,
    "start":50,
    "end":50
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"?string\"\n        },\n        \"kind\":\"MaybeT\",\n        \"type\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        }\n      }\n    ],\n    \"paramNames\":[\"x\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"union\"\n      },\n      \"kind\":\"UnionT\",\n      \"types\":[\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"undefined\"\n          },\n          \"kind\":\"VoidT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      ]\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(x: ?string) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":17,"column":10,"offset":403},
      "end":{"line":17,"column":11,"offset":405}
    },
    "path":"test.js",
    "line":17,
    "endline":17,
    "start":10,
    "end":11
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?string\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"string\"\n    },\n    \"kind\":\"StrT\"\n  }\n}",
    "type":"?string",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":17,"column":13,"offset":406},
      "end":{"line":17,"column":22,"offset":416}
    },
    "path":"test.js",
    "line":17,
    "endline":17,
    "start":13,
    "end":22
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"?union\"\n        },\n        \"kind\":\"MaybeT\",\n        \"type\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"union\"\n          },\n          \"kind\":\"UnionT\",\n          \"types\":[\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"string\"\n              },\n              \"kind\":\"StrT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            },\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any object\"\n              },\n              \"kind\":\"AnyObjT\"\n            }\n          ]\n        }\n      }\n    ],\n    \"paramNames\":[\"val\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"union\"\n      },\n      \"kind\":\"UnionT\",\n      \"types\":[\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"string\"\n          },\n          \"kind\":\"StrT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"undefined\"\n          },\n          \"kind\":\"VoidT\"\n        },\n        {\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any object\"\n          },\n          \"kind\":\"AnyObjT\"\n        }\n      ]\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(val: ?(string | Object)) => string | void | Object",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":17,"column":34,"offset":427},
      "end":{"line":17,"column":48,"offset":442}
    },
    "path":"test.js",
    "line":17,
    "endline":17,
    "start":34,
    "end":48
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"union\"\n  },\n  \"kind\":\"UnionT\",\n  \"types\":[\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"string\"\n      },\n      \"kind\":\"StrT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"undefined\"\n      },\n      \"kind\":\"VoidT\"\n    },\n    {\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"any object\"\n      },\n      \"kind\":\"AnyObjT\"\n    }\n  ]\n}",
    "type":"string | void | Object",
    "reasons":[
      {
        "desc":"conditional",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":17,"column":34,"offset":427},
          "end":{"line":17,"column":51,"offset":445}
        },
        "path":"test.js",
        "line":17,
        "endline":17,
        "start":34,
        "end":51
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":17,"column":34,"offset":427},
      "end":{"line":17,"column":51,"offset":445}
    },
    "path":"test.js",
    "line":17,
    "endline":17,
    "start":34,
    "end":51
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?string\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"string\"\n    },\n    \"kind\":\"StrT\"\n  }\n}",
    "type":"?string",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":17,"column":50,"offset":443},
      "end":{"line":17,"column":50,"offset":444}
    },
    "path":"test.js",
    "line":17,
    "endline":17,
    "start":50,
    "end":50
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"IdxObject\"\n        },\n        \"kind\":\"BoundT\",\n        \"typeParam\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"IdxObject\"\n          },\n          \"name\":\"IdxObject\",\n          \"bound\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":null,\n                \"type\":null,\n                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n              },\n              \"desc\":\"object type\"\n            },\n            \"kind\":\"AnyObjT\"\n          },\n          \"polarity\":\"Neutral\"\n        }\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"function\"\n        },\n        \"kind\":\"FunT\",\n        \"static\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"statics of function\"\n          },\n          \"kind\":\"AnyFunT\"\n        },\n        \"prototype\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"empty prototype object\"\n          },\n          \"kind\":\"MixedT\"\n        },\n        \"funType\":{\n          \"thisType\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":null,\n                \"type\":null,\n                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n              },\n              \"desc\":\"global object\"\n            },\n            \"kind\":\"MixedT\"\n          },\n          \"paramTypes\":[\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":\"test.js\",\n                  \"type\":\"SourceFile\",\n                  \"start\":{\"line\":19,\"column\":18,\"offset\":467},\n                  \"end\":{\"line\":19,\"column\":33,\"offset\":483}\n                },\n                \"desc\":\"function type\"\n              },\n              \"kind\":\"IdxWrapper\",\n              \"wrappedObj\":{\n                \"reason\":{\n                  \"pos\":{\n                    \"source\":null,\n                    \"type\":null,\n                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                  },\n                  \"desc\":\"IdxObject\"\n                },\n                \"kind\":\"BoundT\",\n                \"typeParam\":{\n                  \"reason\":{\n                    \"pos\":{\n                      \"source\":null,\n                      \"type\":null,\n                      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                    },\n                    \"desc\":\"IdxObject\"\n                  },\n                  \"name\":\"IdxObject\",\n                  \"bound\":{\n                    \"reason\":{\n                      \"pos\":{\n                        \"source\":null,\n                        \"type\":null,\n                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                      },\n                      \"desc\":\"object type\"\n                    },\n                    \"kind\":\"AnyObjT\"\n                  },\n                  \"polarity\":\"Neutral\"\n                }\n              }\n            }\n          ],\n          \"paramNames\":[\"demaybifiedObj\"],\n          \"returnType\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":null,\n                \"type\":null,\n                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n              },\n              \"desc\":\"IdxResult\"\n            },\n            \"kind\":\"BoundT\",\n            \"typeParam\":{\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"IdxResult\"\n              },\n              \"name\":\"IdxResult\",\n              \"bound\":{\n                \"reason\":{\n                  \"pos\":{\n                    \"source\":\"test.js\",\n                    \"type\":\"SourceFile\",\n                    \"start\":{\"line\":19,\"column\":18,\"offset\":467},\n                    \"end\":{\"line\":19,\"column\":33,\"offset\":483}\n                  },\n                  \"desc\":\"function type\"\n                },\n                \"kind\":\"MixedT\"\n              },\n              \"polarity\":\"Neutral\"\n            }\n          },\n          \"isPredicate\":false,\n          \"closureIndex\":0,\n          \"changeset\":{\"vars\":[],\"refis\":[]}\n        }\n      }\n    ],\n    \"paramNames\":[\"obj\",\"pathCallback\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"?IdxResult\"\n      },\n      \"kind\":\"MaybeT\",\n      \"type\":{\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"IdxResult\"\n        },\n        \"kind\":\"BoundT\",\n        \"typeParam\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"IdxResult\"\n          },\n          \"name\":\"IdxResult\",\n          \"bound\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":\"test.js\",\n                \"type\":\"SourceFile\",\n                \"start\":{\"line\":19,\"column\":18,\"offset\":467},\n                \"end\":{\"line\":19,\"column\":33,\"offset\":483}\n              },\n              \"desc\":\"function type\"\n            },\n            \"kind\":\"MixedT\"\n          },\n          \"polarity\":\"Neutral\"\n        }\n      }\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(obj: IdxObject, pathCallback: (demaybifiedObj: $IdxWrapper<IdxObject>) => IdxResult) => ?IdxResult",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":19,"column":1,"offset":450},
      "end":{"line":19,"column":34,"offset":484}
    },
    "path":"test.js",
    "line":19,
    "endline":19,
    "start":1,
    "end":34
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"object\"\n  },\n  \"kind\":\"ObjT\",\n  \"type\":{\n    \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n    \"propTypes\":[\n      {\n        \"name\":\"a\",\n        \"prop\":{\n          \"field\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":null,\n                \"type\":null,\n                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n              },\n              \"desc\":\"optional object\"\n            },\n            \"kind\":\"OptionalT\",\n            \"type\":{\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"object\"\n              },\n              \"kind\":\"ObjT\",\n              \"type\":{\n                \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                \"propTypes\":[\n                  {\n                    \"name\":\"b\",\n                    \"prop\":{\n                      \"field\":{\n                        \"reason\":{\n                          \"pos\":{\n                            \"source\":null,\n                            \"type\":null,\n                            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                          },\n                          \"desc\":\"?object\"\n                        },\n                        \"kind\":\"MaybeT\",\n                        \"type\":{\n                          \"reason\":{\n                            \"pos\":{\n                              \"source\":null,\n                              \"type\":null,\n                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                            },\n                            \"desc\":\"object\"\n                          },\n                          \"kind\":\"ObjT\",\n                          \"type\":{\n                            \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                            \"propTypes\":[\n                              {\n                                \"name\":\"c\",\n                                \"prop\":{\n                                  \"field\":{\n                                    \"reason\":{\n                                      \"pos\":{\n                                        \"source\":null,\n                                        \"type\":null,\n                                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                      },\n                                      \"desc\":\"union\"\n                                    },\n                                    \"kind\":\"UnionT\",\n                                    \"types\":[\n                                      {\n                                        \"reason\":{\n                                          \"pos\":{\n                                            \"source\":null,\n                                            \"type\":null,\n                                            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                          },\n                                          \"desc\":\"null\"\n                                        },\n                                        \"kind\":\"NullT\"\n                                      },\n                                      {\n                                        \"reason\":{\n                                          \"pos\":{\n                                            \"source\":null,\n                                            \"type\":null,\n                                            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                          },\n                                          \"desc\":\"object\"\n                                        },\n                                        \"kind\":\"ObjT\",\n                                        \"type\":{\n                                          \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                                          \"propTypes\":[\n                                            {\n                                              \"name\":\"d\",\n                                              \"prop\":{\n                                                \"field\":{\n                                                  \"reason\":{\n                                                    \"pos\":{\n                                                      \"source\":null,\n                                                      \"type\":null,\n                                                      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                                    },\n                                                    \"desc\":\"number\"\n                                                  },\n                                                  \"kind\":\"NumT\"\n                                                },\n                                                \"polarity\":\"Neutral\"\n                                              }\n                                            }\n                                          ],\n                                          \"prototype\":{\n                                            \"reason\":{\n                                              \"pos\":{\n                                                \"source\":null,\n                                                \"type\":null,\n                                                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                              },\n                                              \"desc\":\"any\"\n                                            },\n                                            \"kind\":\"AnyT\"\n                                          }\n                                        }\n                                      }\n                                    ]\n                                  },\n                                  \"polarity\":\"Neutral\"\n                                }\n                              }\n                            ],\n                            \"prototype\":{\n                              \"reason\":{\n                                \"pos\":{\n                                  \"source\":null,\n                                  \"type\":null,\n                                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                },\n                                \"desc\":\"any\"\n                              },\n                              \"kind\":\"AnyT\"\n                            }\n                          }\n                        }\n                      },\n                      \"polarity\":\"Neutral\"\n                    }\n                  }\n                ],\n                \"prototype\":{\n                  \"reason\":{\n                    \"pos\":{\n                      \"source\":null,\n                      \"type\":null,\n                      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                    },\n                    \"desc\":\"any\"\n                  },\n                  \"kind\":\"AnyT\"\n                }\n              }\n            }\n          },\n          \"polarity\":\"Neutral\"\n        }\n      }\n    ],\n    \"prototype\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"any\"\n      },\n      \"kind\":\"AnyT\"\n    }\n  }\n}",
    "type":"{a?: {b: ?{c: null | {d: number}}}}",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":20,"column":1,"offset":485},
      "end":{"line":20,"column":53,"offset":538}
    },
    "path":"test.js",
    "line":20,
    "endline":20,
    "start":1,
    "end":53
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?number\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"number\"\n    },\n    \"kind\":\"NumT\"\n  }\n}",
    "type":"?number",
    "reasons":[
      {
        "desc":"?assignment of var `idxResult`",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":7,"offset":545},
      "end":{"line":21,"column":15,"offset":554}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":7,
    "end":15
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"IdxObject\"\n        },\n        \"kind\":\"BoundT\",\n        \"typeParam\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"IdxObject\"\n          },\n          \"name\":\"IdxObject\",\n          \"bound\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":null,\n                \"type\":null,\n                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n              },\n              \"desc\":\"object type\"\n            },\n            \"kind\":\"AnyObjT\"\n          },\n          \"polarity\":\"Neutral\"\n        }\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"function\"\n        },\n        \"kind\":\"FunT\",\n        \"static\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"statics of function\"\n          },\n          \"kind\":\"AnyFunT\"\n        },\n        \"prototype\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"empty prototype object\"\n          },\n          \"kind\":\"MixedT\"\n        },\n        \"funType\":{\n          \"thisType\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":null,\n                \"type\":null,\n                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n              },\n              \"desc\":\"global object\"\n            },\n            \"kind\":\"MixedT\"\n          },\n          \"paramTypes\":[\n            {\n              \"reason\":{\n                \"pos\":{\n                  \"source\":\"test.js\",\n                  \"type\":\"SourceFile\",\n                  \"start\":{\"line\":21,\"column\":19,\"offset\":557},\n                  \"end\":{\"line\":21,\"column\":21,\"offset\":560}\n                },\n                \"desc\":\"function type\"\n              },\n              \"kind\":\"IdxWrapper\",\n              \"wrappedObj\":{\n                \"reason\":{\n                  \"pos\":{\n                    \"source\":null,\n                    \"type\":null,\n                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                  },\n                  \"desc\":\"IdxObject\"\n                },\n                \"kind\":\"BoundT\",\n                \"typeParam\":{\n                  \"reason\":{\n                    \"pos\":{\n                      \"source\":null,\n                      \"type\":null,\n                      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                    },\n                    \"desc\":\"IdxObject\"\n                  },\n                  \"name\":\"IdxObject\",\n                  \"bound\":{\n                    \"reason\":{\n                      \"pos\":{\n                        \"source\":null,\n                        \"type\":null,\n                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                      },\n                      \"desc\":\"object type\"\n                    },\n                    \"kind\":\"AnyObjT\"\n                  },\n                  \"polarity\":\"Neutral\"\n                }\n              }\n            }\n          ],\n          \"paramNames\":[\"demaybifiedObj\"],\n          \"returnType\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":null,\n                \"type\":null,\n                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n              },\n              \"desc\":\"IdxResult\"\n            },\n            \"kind\":\"BoundT\",\n            \"typeParam\":{\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"IdxResult\"\n              },\n              \"name\":\"IdxResult\",\n              \"bound\":{\n                \"reason\":{\n                  \"pos\":{\n                    \"source\":\"test.js\",\n                    \"type\":\"SourceFile\",\n                    \"start\":{\"line\":21,\"column\":19,\"offset\":557},\n                    \"end\":{\"line\":21,\"column\":21,\"offset\":560}\n                  },\n                  \"desc\":\"function type\"\n                },\n                \"kind\":\"MixedT\"\n              },\n              \"polarity\":\"Neutral\"\n            }\n          },\n          \"isPredicate\":false,\n          \"closureIndex\":0,\n          \"changeset\":{\"vars\":[],\"refis\":[]}\n        }\n      }\n    ],\n    \"paramNames\":[\"obj\",\"pathCallback\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"?IdxResult\"\n      },\n      \"kind\":\"MaybeT\",\n      \"type\":{\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"IdxResult\"\n        },\n        \"kind\":\"BoundT\",\n        \"typeParam\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"IdxResult\"\n          },\n          \"name\":\"IdxResult\",\n          \"bound\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":\"test.js\",\n                \"type\":\"SourceFile\",\n                \"start\":{\"line\":21,\"column\":19,\"offset\":557},\n                \"end\":{\"line\":21,\"column\":21,\"offset\":560}\n              },\n              \"desc\":\"function type\"\n            },\n            \"kind\":\"MixedT\"\n          },\n          \"polarity\":\"Neutral\"\n        }\n      }\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(obj: IdxObject, pathCallback: (demaybifiedObj: $IdxWrapper<IdxObject>) => IdxResult) => ?IdxResult",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":19,"offset":557},
      "end":{"line":21,"column":21,"offset":560}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":19,
    "end":21
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"?number\"\n  },\n  \"kind\":\"MaybeT\",\n  \"type\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"number\"\n    },\n    \"kind\":\"NumT\"\n  }\n}",
    "type":"?number",
    "reasons":[
      {
        "desc":"?function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":19,"offset":557},
      "end":{"line":21,"column":46,"offset":585}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":19,
    "end":46
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"object\"\n  },\n  \"kind\":\"ObjT\",\n  \"type\":{\n    \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n    \"propTypes\":[\n      {\n        \"name\":\"a\",\n        \"prop\":{\n          \"field\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":null,\n                \"type\":null,\n                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n              },\n              \"desc\":\"optional object\"\n            },\n            \"kind\":\"OptionalT\",\n            \"type\":{\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"object\"\n              },\n              \"kind\":\"ObjT\",\n              \"type\":{\n                \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                \"propTypes\":[\n                  {\n                    \"name\":\"b\",\n                    \"prop\":{\n                      \"field\":{\n                        \"reason\":{\n                          \"pos\":{\n                            \"source\":null,\n                            \"type\":null,\n                            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                          },\n                          \"desc\":\"?object\"\n                        },\n                        \"kind\":\"MaybeT\",\n                        \"type\":{\n                          \"reason\":{\n                            \"pos\":{\n                              \"source\":null,\n                              \"type\":null,\n                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                            },\n                            \"desc\":\"object\"\n                          },\n                          \"kind\":\"ObjT\",\n                          \"type\":{\n                            \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                            \"propTypes\":[\n                              {\n                                \"name\":\"c\",\n                                \"prop\":{\n                                  \"field\":{\n                                    \"reason\":{\n                                      \"pos\":{\n                                        \"source\":null,\n                                        \"type\":null,\n                                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                      },\n                                      \"desc\":\"union\"\n                                    },\n                                    \"kind\":\"UnionT\",\n                                    \"types\":[\n                                      {\n                                        \"reason\":{\n                                          \"pos\":{\n                                            \"source\":null,\n                                            \"type\":null,\n                                            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                          },\n                                          \"desc\":\"null\"\n                                        },\n                                        \"kind\":\"NullT\"\n                                      },\n                                      {\n                                        \"reason\":{\n                                          \"pos\":{\n                                            \"source\":null,\n                                            \"type\":null,\n                                            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                          },\n                                          \"desc\":\"object\"\n                                        },\n                                        \"kind\":\"ObjT\",\n                                        \"type\":{\n                                          \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                                          \"propTypes\":[\n                                            {\n                                              \"name\":\"d\",\n                                              \"prop\":{\n                                                \"field\":{\n                                                  \"reason\":{\n                                                    \"pos\":{\n                                                      \"source\":null,\n                                                      \"type\":null,\n                                                      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                                    },\n                                                    \"desc\":\"number\"\n                                                  },\n                                                  \"kind\":\"NumT\"\n                                                },\n                                                \"polarity\":\"Neutral\"\n                                              }\n                                            }\n                                          ],\n                                          \"prototype\":{\n                                            \"reason\":{\n                                              \"pos\":{\n                                                \"source\":null,\n                                                \"type\":null,\n                                                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                              },\n                                              \"desc\":\"any\"\n                                            },\n                                            \"kind\":\"AnyT\"\n                                          }\n                                        }\n                                      }\n                                    ]\n                                  },\n                                  \"polarity\":\"Neutral\"\n                                }\n                              }\n                            ],\n                            \"prototype\":{\n                              \"reason\":{\n                                \"pos\":{\n                                  \"source\":null,\n                                  \"type\":null,\n                                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                },\n                                \"desc\":\"any\"\n                              },\n                              \"kind\":\"AnyT\"\n                            }\n                          }\n                        }\n                      },\n                      \"polarity\":\"Neutral\"\n                    }\n                  }\n                ],\n                \"prototype\":{\n                  \"reason\":{\n                    \"pos\":{\n                      \"source\":null,\n                      \"type\":null,\n                      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                    },\n                    \"desc\":\"any\"\n                  },\n                  \"kind\":\"AnyT\"\n                }\n              }\n            }\n          },\n          \"polarity\":\"Neutral\"\n        }\n      }\n    ],\n    \"prototype\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"any\"\n      },\n      \"kind\":\"AnyT\"\n    }\n  }\n}",
    "type":"{a?: {b: ?{c: null | {d: number}}}}",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":23,"offset":561},
      "end":{"line":21,"column":25,"offset":564}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":23,
    "end":25
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"idx object\"\n  },\n  \"kind\":\"IdxWrapper\",\n  \"wrappedObj\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"object\"\n    },\n    \"kind\":\"ObjT\",\n    \"type\":{\n      \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n      \"propTypes\":[\n        {\n          \"name\":\"a\",\n          \"prop\":{\n            \"field\":{\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"optional object\"\n              },\n              \"kind\":\"OptionalT\",\n              \"type\":{\n                \"reason\":{\n                  \"pos\":{\n                    \"source\":null,\n                    \"type\":null,\n                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                  },\n                  \"desc\":\"object\"\n                },\n                \"kind\":\"ObjT\",\n                \"type\":{\n                  \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                  \"propTypes\":[\n                    {\n                      \"name\":\"b\",\n                      \"prop\":{\n                        \"field\":{\n                          \"reason\":{\n                            \"pos\":{\n                              \"source\":null,\n                              \"type\":null,\n                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                            },\n                            \"desc\":\"?object\"\n                          },\n                          \"kind\":\"MaybeT\",\n                          \"type\":{\n                            \"reason\":{\n                              \"pos\":{\n                                \"source\":null,\n                                \"type\":null,\n                                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                              },\n                              \"desc\":\"object\"\n                            },\n                            \"kind\":\"ObjT\",\n                            \"type\":{\n                              \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                              \"propTypes\":[\n                                {\n                                  \"name\":\"c\",\n                                  \"prop\":{\n                                    \"field\":{\n                                      \"reason\":{\n                                        \"pos\":{\n                                          \"source\":null,\n                                          \"type\":null,\n                                          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                        },\n                                        \"desc\":\"union\"\n                                      },\n                                      \"kind\":\"UnionT\",\n                                      \"types\":[\n                                        {\n                                          \"reason\":{\n                                            \"pos\":{\n                                              \"source\":null,\n                                              \"type\":null,\n                                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                            },\n                                            \"desc\":\"null\"\n                                          },\n                                          \"kind\":\"NullT\"\n                                        },\n                                        {\n                                          \"reason\":{\n                                            \"pos\":{\n                                              \"source\":null,\n                                              \"type\":null,\n                                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                            },\n                                            \"desc\":\"object\"\n                                          },\n                                          \"kind\":\"ObjT\",\n                                          \"type\":{\n                                            \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                                            \"propTypes\":[\n                                              {\n                                                \"name\":\"d\",\n                                                \"prop\":{\n                                                  \"field\":{\n                                                    \"reason\":{\n                                                      \"pos\":{\n                                                        \"source\":null,\n                                                        \"type\":null,\n                                                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                                      },\n                                                      \"desc\":\"number\"\n                                                    },\n                                                    \"kind\":\"NumT\"\n                                                  },\n                                                  \"polarity\":\"Neutral\"\n                                                }\n                                              }\n                                            ],\n                                            \"prototype\":{\n                                              \"reason\":{\n                                                \"pos\":{\n                                                  \"source\":null,\n                                                  \"type\":null,\n                                                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                                },\n                                                \"desc\":\"any\"\n                                              },\n                                              \"kind\":\"AnyT\"\n                                            }\n                                          }\n                                        }\n                                      ]\n                                    },\n                                    \"polarity\":\"Neutral\"\n                                  }\n                                }\n                              ],\n                              \"prototype\":{\n                                \"reason\":{\n                                  \"pos\":{\n                                    \"source\":null,\n                                    \"type\":null,\n                                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                  },\n                                  \"desc\":\"any\"\n                                },\n                                \"kind\":\"AnyT\"\n                              }\n                            }\n                          }\n                        },\n                        \"polarity\":\"Neutral\"\n                      }\n                    }\n                  ],\n                  \"prototype\":{\n                    \"reason\":{\n                      \"pos\":{\n                        \"source\":null,\n                        \"type\":null,\n                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                      },\n                      \"desc\":\"any\"\n                    },\n                    \"kind\":\"AnyT\"\n                  }\n                }\n              }\n            },\n            \"polarity\":\"Neutral\"\n          }\n        }\n      ],\n      \"prototype\":{\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"any\"\n        },\n        \"kind\":\"AnyT\"\n      }\n    }\n  }\n}",
    "type":"$IdxWrapper<{a?: {b: ?{c: null | {d: number}}}}>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":28,"offset":566},
      "end":{"line":21,"column":30,"offset":569}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":28,
    "end":30
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"function\"\n  },\n  \"kind\":\"FunT\",\n  \"static\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"statics of function\"\n    },\n    \"kind\":\"AnyFunT\"\n  },\n  \"prototype\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"empty prototype object\"\n    },\n    \"kind\":\"MixedT\"\n  },\n  \"funType\":{\n    \"thisType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"global object\"\n      },\n      \"kind\":\"MixedT\"\n    },\n    \"paramTypes\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"idx object\"\n        },\n        \"kind\":\"IdxWrapper\",\n        \"wrappedObj\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"object\"\n          },\n          \"kind\":\"ObjT\",\n          \"type\":{\n            \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n            \"propTypes\":[\n              {\n                \"name\":\"a\",\n                \"prop\":{\n                  \"field\":{\n                    \"reason\":{\n                      \"pos\":{\n                        \"source\":null,\n                        \"type\":null,\n                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                      },\n                      \"desc\":\"optional object\"\n                    },\n                    \"kind\":\"OptionalT\",\n                    \"type\":{\n                      \"reason\":{\n                        \"pos\":{\n                          \"source\":null,\n                          \"type\":null,\n                          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                        },\n                        \"desc\":\"object\"\n                      },\n                      \"kind\":\"ObjT\",\n                      \"type\":{\n                        \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                        \"propTypes\":[\n                          {\n                            \"name\":\"b\",\n                            \"prop\":{\n                              \"field\":{\n                                \"reason\":{\n                                  \"pos\":{\n                                    \"source\":null,\n                                    \"type\":null,\n                                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                  },\n                                  \"desc\":\"?object\"\n                                },\n                                \"kind\":\"MaybeT\",\n                                \"type\":{\n                                  \"reason\":{\n                                    \"pos\":{\n                                      \"source\":null,\n                                      \"type\":null,\n                                      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                    },\n                                    \"desc\":\"object\"\n                                  },\n                                  \"kind\":\"ObjT\",\n                                  \"type\":{\n                                    \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                                    \"propTypes\":[\n                                      {\n                                        \"name\":\"c\",\n                                        \"prop\":{\n                                          \"field\":{\n                                            \"reason\":{\n                                              \"pos\":{\n                                                \"source\":null,\n                                                \"type\":null,\n                                                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                              },\n                                              \"desc\":\"union\"\n                                            },\n                                            \"kind\":\"UnionT\",\n                                            \"types\":[\n                                              {\n                                                \"reason\":{\n                                                  \"pos\":{\n                                                    \"source\":null,\n                                                    \"type\":null,\n                                                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                                  },\n                                                  \"desc\":\"null\"\n                                                },\n                                                \"kind\":\"NullT\"\n                                              },\n                                              {\n                                                \"reason\":{\n                                                  \"pos\":{\n                                                    \"source\":null,\n                                                    \"type\":null,\n                                                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                                  },\n                                                  \"desc\":\"object\"\n                                                },\n                                                \"kind\":\"ObjT\",\n                                                \"type\":{\n                                                  \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                                                  \"propTypes\":[\n                                                    {\n                                                      \"name\":\"d\",\n                                                      \"prop\":{\n                                                        \"field\":{\n                                                          \"reason\":{\n                                                            \"pos\":{\n                                                              \"source\":null,\n                                                              \"type\":null,\n                                                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                                            },\n                                                            \"desc\":\"number\"\n                                                          },\n                                                          \"kind\":\"NumT\"\n                                                        },\n                                                        \"polarity\":\"Neutral\"\n                                                      }\n                                                    }\n                                                  ],\n                                                  \"prototype\":{\n                                                    \"reason\":{\n                                                      \"pos\":{\n                                                        \"source\":null,\n                                                        \"type\":null,\n                                                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                                      },\n                                                      \"desc\":\"any\"\n                                                    },\n                                                    \"kind\":\"AnyT\"\n                                                  }\n                                                }\n                                              }\n                                            ]\n                                          },\n                                          \"polarity\":\"Neutral\"\n                                        }\n                                      }\n                                    ],\n                                    \"prototype\":{\n                                      \"reason\":{\n                                        \"pos\":{\n                                          \"source\":null,\n                                          \"type\":null,\n                                          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                        },\n                                        \"desc\":\"any\"\n                                      },\n                                      \"kind\":\"AnyT\"\n                                    }\n                                  }\n                                }\n                              },\n                              \"polarity\":\"Neutral\"\n                            }\n                          }\n                        ],\n                        \"prototype\":{\n                          \"reason\":{\n                            \"pos\":{\n                              \"source\":null,\n                              \"type\":null,\n                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                            },\n                            \"desc\":\"any\"\n                          },\n                          \"kind\":\"AnyT\"\n                        }\n                      }\n                    }\n                  },\n                  \"polarity\":\"Neutral\"\n                }\n              }\n            ],\n            \"prototype\":{\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"any\"\n              },\n              \"kind\":\"AnyT\"\n            }\n          }\n        }\n      }\n    ],\n    \"paramNames\":[\"obj\"],\n    \"returnType\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"idx object\"\n      },\n      \"kind\":\"IdxWrapper\",\n      \"wrappedObj\":{\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"number\"\n        },\n        \"kind\":\"NumT\"\n      }\n    },\n    \"isPredicate\":false,\n    \"closureIndex\":0,\n    \"changeset\":{\"vars\":[],\"refis\":[]}\n  }\n}",
    "type":"(obj: $IdxWrapper<{a?: {b: ?{c: null | {d: number}}}}>) => $IdxWrapper<number>",
    "reasons":[],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":28,"offset":566},
      "end":{"line":21,"column":45,"offset":584}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":28,
    "end":45
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"idx object\"\n  },\n  \"kind\":\"IdxWrapper\",\n  \"wrappedObj\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"object\"\n    },\n    \"kind\":\"ObjT\",\n    \"type\":{\n      \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n      \"propTypes\":[\n        {\n          \"name\":\"a\",\n          \"prop\":{\n            \"field\":{\n              \"reason\":{\n                \"pos\":{\n                  \"source\":null,\n                  \"type\":null,\n                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                },\n                \"desc\":\"optional object\"\n              },\n              \"kind\":\"OptionalT\",\n              \"type\":{\n                \"reason\":{\n                  \"pos\":{\n                    \"source\":null,\n                    \"type\":null,\n                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                  },\n                  \"desc\":\"object\"\n                },\n                \"kind\":\"ObjT\",\n                \"type\":{\n                  \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                  \"propTypes\":[\n                    {\n                      \"name\":\"b\",\n                      \"prop\":{\n                        \"field\":{\n                          \"reason\":{\n                            \"pos\":{\n                              \"source\":null,\n                              \"type\":null,\n                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                            },\n                            \"desc\":\"?object\"\n                          },\n                          \"kind\":\"MaybeT\",\n                          \"type\":{\n                            \"reason\":{\n                              \"pos\":{\n                                \"source\":null,\n                                \"type\":null,\n                                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                              },\n                              \"desc\":\"object\"\n                            },\n                            \"kind\":\"ObjT\",\n                            \"type\":{\n                              \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                              \"propTypes\":[\n                                {\n                                  \"name\":\"c\",\n                                  \"prop\":{\n                                    \"field\":{\n                                      \"reason\":{\n                                        \"pos\":{\n                                          \"source\":null,\n                                          \"type\":null,\n                                          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                        },\n                                        \"desc\":\"union\"\n                                      },\n                                      \"kind\":\"UnionT\",\n                                      \"types\":[\n                                        {\n                                          \"reason\":{\n                                            \"pos\":{\n                                              \"source\":null,\n                                              \"type\":null,\n                                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                            },\n                                            \"desc\":\"null\"\n                                          },\n                                          \"kind\":\"NullT\"\n                                        },\n                                        {\n                                          \"reason\":{\n                                            \"pos\":{\n                                              \"source\":null,\n                                              \"type\":null,\n                                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                            },\n                                            \"desc\":\"object\"\n                                          },\n                                          \"kind\":\"ObjT\",\n                                          \"type\":{\n                                            \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                                            \"propTypes\":[\n                                              {\n                                                \"name\":\"d\",\n                                                \"prop\":{\n                                                  \"field\":{\n                                                    \"reason\":{\n                                                      \"pos\":{\n                                                        \"source\":null,\n                                                        \"type\":null,\n                                                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                                      },\n                                                      \"desc\":\"number\"\n                                                    },\n                                                    \"kind\":\"NumT\"\n                                                  },\n                                                  \"polarity\":\"Neutral\"\n                                                }\n                                              }\n                                            ],\n                                            \"prototype\":{\n                                              \"reason\":{\n                                                \"pos\":{\n                                                  \"source\":null,\n                                                  \"type\":null,\n                                                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                                },\n                                                \"desc\":\"any\"\n                                              },\n                                              \"kind\":\"AnyT\"\n                                            }\n                                          }\n                                        }\n                                      ]\n                                    },\n                                    \"polarity\":\"Neutral\"\n                                  }\n                                }\n                              ],\n                              \"prototype\":{\n                                \"reason\":{\n                                  \"pos\":{\n                                    \"source\":null,\n                                    \"type\":null,\n                                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                  },\n                                  \"desc\":\"any\"\n                                },\n                                \"kind\":\"AnyT\"\n                              }\n                            }\n                          }\n                        },\n                        \"polarity\":\"Neutral\"\n                      }\n                    }\n                  ],\n                  \"prototype\":{\n                    \"reason\":{\n                      \"pos\":{\n                        \"source\":null,\n                        \"type\":null,\n                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                      },\n                      \"desc\":\"any\"\n                    },\n                    \"kind\":\"AnyT\"\n                  }\n                }\n              }\n            },\n            \"polarity\":\"Neutral\"\n          }\n        }\n      ],\n      \"prototype\":{\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"any\"\n        },\n        \"kind\":\"AnyT\"\n      }\n    }\n  }\n}",
    "type":"$IdxWrapper<{a?: {b: ?{c: null | {d: number}}}}>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":35,"offset":573},
      "end":{"line":21,"column":37,"offset":576}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":35,
    "end":37
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"idx object\"\n  },\n  \"kind\":\"IdxWrapper\",\n  \"wrappedObj\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"optional object\"\n    },\n    \"kind\":\"OptionalT\",\n    \"type\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"object\"\n      },\n      \"kind\":\"ObjT\",\n      \"type\":{\n        \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n        \"propTypes\":[\n          {\n            \"name\":\"b\",\n            \"prop\":{\n              \"field\":{\n                \"reason\":{\n                  \"pos\":{\n                    \"source\":null,\n                    \"type\":null,\n                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                  },\n                  \"desc\":\"?object\"\n                },\n                \"kind\":\"MaybeT\",\n                \"type\":{\n                  \"reason\":{\n                    \"pos\":{\n                      \"source\":null,\n                      \"type\":null,\n                      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                    },\n                    \"desc\":\"object\"\n                  },\n                  \"kind\":\"ObjT\",\n                  \"type\":{\n                    \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                    \"propTypes\":[\n                      {\n                        \"name\":\"c\",\n                        \"prop\":{\n                          \"field\":{\n                            \"reason\":{\n                              \"pos\":{\n                                \"source\":null,\n                                \"type\":null,\n                                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                              },\n                              \"desc\":\"union\"\n                            },\n                            \"kind\":\"UnionT\",\n                            \"types\":[\n                              {\n                                \"reason\":{\n                                  \"pos\":{\n                                    \"source\":null,\n                                    \"type\":null,\n                                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                  },\n                                  \"desc\":\"null\"\n                                },\n                                \"kind\":\"NullT\"\n                              },\n                              {\n                                \"reason\":{\n                                  \"pos\":{\n                                    \"source\":null,\n                                    \"type\":null,\n                                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                  },\n                                  \"desc\":\"object\"\n                                },\n                                \"kind\":\"ObjT\",\n                                \"type\":{\n                                  \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                                  \"propTypes\":[\n                                    {\n                                      \"name\":\"d\",\n                                      \"prop\":{\n                                        \"field\":{\n                                          \"reason\":{\n                                            \"pos\":{\n                                              \"source\":null,\n                                              \"type\":null,\n                                              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                            },\n                                            \"desc\":\"number\"\n                                          },\n                                          \"kind\":\"NumT\"\n                                        },\n                                        \"polarity\":\"Neutral\"\n                                      }\n                                    }\n                                  ],\n                                  \"prototype\":{\n                                    \"reason\":{\n                                      \"pos\":{\n                                        \"source\":null,\n                                        \"type\":null,\n                                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                      },\n                                      \"desc\":\"any\"\n                                    },\n                                    \"kind\":\"AnyT\"\n                                  }\n                                }\n                              }\n                            ]\n                          },\n                          \"polarity\":\"Neutral\"\n                        }\n                      }\n                    ],\n                    \"prototype\":{\n                      \"reason\":{\n                        \"pos\":{\n                          \"source\":null,\n                          \"type\":null,\n                          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                        },\n                        \"desc\":\"any\"\n                      },\n                      \"kind\":\"AnyT\"\n                    }\n                  }\n                }\n              },\n              \"polarity\":\"Neutral\"\n            }\n          }\n        ],\n        \"prototype\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any\"\n          },\n          \"kind\":\"AnyT\"\n        }\n      }\n    }\n  }\n}",
    "type":"$IdxWrapper<{b: ?{c: null | {d: number}}} | void>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":35,"offset":573},
      "end":{"line":21,"column":39,"offset":578}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":35,
    "end":39
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"idx object\"\n  },\n  \"kind\":\"IdxWrapper\",\n  \"wrappedObj\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"?object\"\n    },\n    \"kind\":\"MaybeT\",\n    \"type\":{\n      \"reason\":{\n        \"pos\":{\n          \"source\":null,\n          \"type\":null,\n          \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n          \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n        },\n        \"desc\":\"object\"\n      },\n      \"kind\":\"ObjT\",\n      \"type\":{\n        \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n        \"propTypes\":[\n          {\n            \"name\":\"c\",\n            \"prop\":{\n              \"field\":{\n                \"reason\":{\n                  \"pos\":{\n                    \"source\":null,\n                    \"type\":null,\n                    \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                    \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                  },\n                  \"desc\":\"union\"\n                },\n                \"kind\":\"UnionT\",\n                \"types\":[\n                  {\n                    \"reason\":{\n                      \"pos\":{\n                        \"source\":null,\n                        \"type\":null,\n                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                      },\n                      \"desc\":\"null\"\n                    },\n                    \"kind\":\"NullT\"\n                  },\n                  {\n                    \"reason\":{\n                      \"pos\":{\n                        \"source\":null,\n                        \"type\":null,\n                        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                      },\n                      \"desc\":\"object\"\n                    },\n                    \"kind\":\"ObjT\",\n                    \"type\":{\n                      \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n                      \"propTypes\":[\n                        {\n                          \"name\":\"d\",\n                          \"prop\":{\n                            \"field\":{\n                              \"reason\":{\n                                \"pos\":{\n                                  \"source\":null,\n                                  \"type\":null,\n                                  \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                                  \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                                },\n                                \"desc\":\"number\"\n                              },\n                              \"kind\":\"NumT\"\n                            },\n                            \"polarity\":\"Neutral\"\n                          }\n                        }\n                      ],\n                      \"prototype\":{\n                        \"reason\":{\n                          \"pos\":{\n                            \"source\":null,\n                            \"type\":null,\n                            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                          },\n                          \"desc\":\"any\"\n                        },\n                        \"kind\":\"AnyT\"\n                      }\n                    }\n                  }\n                ]\n              },\n              \"polarity\":\"Neutral\"\n            }\n          }\n        ],\n        \"prototype\":{\n          \"reason\":{\n            \"pos\":{\n              \"source\":null,\n              \"type\":null,\n              \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n              \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n            },\n            \"desc\":\"any\"\n          },\n          \"kind\":\"AnyT\"\n        }\n      }\n    }\n  }\n}",
    "type":"$IdxWrapper<?{c: null | {d: number}}>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":35,"offset":573},
      "end":{"line":21,"column":41,"offset":580}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":35,
    "end":41
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"idx object\"\n  },\n  \"kind\":\"IdxWrapper\",\n  \"wrappedObj\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"union\"\n    },\n    \"kind\":\"UnionT\",\n    \"types\":[\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"null\"\n        },\n        \"kind\":\"NullT\"\n      },\n      {\n        \"reason\":{\n          \"pos\":{\n            \"source\":null,\n            \"type\":null,\n            \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n            \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n          },\n          \"desc\":\"object\"\n        },\n        \"kind\":\"ObjT\",\n        \"type\":{\n          \"flags\":{\"frozen\":false,\"sealed\":false,\"exact\":true},\n          \"propTypes\":[\n            {\n              \"name\":\"d\",\n              \"prop\":{\n                \"field\":{\n                  \"reason\":{\n                    \"pos\":{\n                      \"source\":null,\n                      \"type\":null,\n                      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n                    },\n                    \"desc\":\"number\"\n                  },\n                  \"kind\":\"NumT\"\n                },\n                \"polarity\":\"Neutral\"\n              }\n            }\n          ],\n          \"prototype\":{\n            \"reason\":{\n              \"pos\":{\n                \"source\":null,\n                \"type\":null,\n                \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n                \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n              },\n              \"desc\":\"any\"\n            },\n            \"kind\":\"AnyT\"\n          }\n        }\n      }\n    ]\n  }\n}",
    "type":"$IdxWrapper<null | {d: number}>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":35,"offset":573},
      "end":{"line":21,"column":43,"offset":582}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":35,
    "end":43
  },
  {
    "raw_type":"{\n  \"reason\":{\n    \"pos\":{\n      \"source\":null,\n      \"type\":null,\n      \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n      \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n    },\n    \"desc\":\"idx object\"\n  },\n  \"kind\":\"IdxWrapper\",\n  \"wrappedObj\":{\n    \"reason\":{\n      \"pos\":{\n        \"source\":null,\n        \"type\":null,\n        \"start\":{\"line\":0,\"column\":1,\"offset\":0},\n        \"end\":{\"line\":0,\"column\":0,\"offset\":0}\n      },\n      \"desc\":\"number\"\n    },\n    \"kind\":\"NumT\"\n  }\n}",
    "type":"$IdxWrapper<number>",
    "reasons":[
      {
        "desc":"function call",
        "loc":{
          "source":"test.js",
          "type":"SourceFile",
          "start":{"line":21,"column":19,"offset":557},
          "end":{"line":21,"column":46,"offset":585}
        },
        "path":"test.js",
        "line":21,
        "endline":21,
        "start":19,
        "end":46
      }
    ],
    "loc":{
      "source":"test.js",
      "type":"SourceFile",
      "start":{"line":21,"column":35,"offset":573},
      "end":{"line":21,"column":45,"offset":584}
    },
    "path":"test.js",
    "line":21,
    "endline":21,
    "start":35,
    "end":45
  }
]