Divide by zero Typechecking

We have type literals for numbers already and a strictNullCheck compiler option -- wouldn't it be awesome if we had a type guard again divide-by-zero errors? I'm building a game that involved a lot of math, computing intersections of lines and such. But what if a line is parallel? It would be cool if the compiler would suggest this as a type error.

function f(): number | 0 {
    return 0
}

const y = 100 / f()

TypeScript Version: 2.7.0-dev.201xxxxx

未指定源文件、测试或入口点。首先使用 typescript@next 重现该示例，并检查类型检查器如何处理返回类型 number | 0 和除法；当编译器能够一致地识别出除数可能为零，并报告适当的类型错误时，即视为完成。