Тип уточнения типа `any` в методе потока

Question

Я, кажется, неправильно понимаю, как работают улучшения потока (или, может быть, моя установка Nuclide/Atom + Flow тупой). Я хотел бы сделать что-то вроде следующего:

async function getIp(): Promise<string> { 
    const resp = await fetch('https://httpbin.org/ip') 
    const json = await resp.json() // `json: any` at this point 
    if (typeof json.ip === 'string') { 
    return json.ip 
    } else { 
    throw new Error("Weird response.") 
    } 
} 

Я извлечение некоторые JSON из API конечной точки, и она имеет тип any. Я хотел бы проверить, что он имеет правильную форму (например, он имеет строку ip). Нуклид, однако, предупреждает меня, что каждое использование json в приведенном выше коде «Не покрывается потоком», включая все выражение json.ip. Почему это? Я бы ожидал, что проверка typeof уточнит тип json.ip по номеру string.

Есть ли другой способ для уточнения нетипизированных значений?

Редактировать: Вот tryflow example того, что я вижу.

Answer 1

Нет, вы не можете уточнить, any. Вы уже можете что-то с этим сделать, так в чем смысл?

Если вы хотите Flow, чтобы подтвердить свой код, который вы должны немедленно превратить ваш any в mixed:

const json: mixed = await resp.json()