やってることは型チェックと同じなので変わらないね。

型チェック・・・この型以外はNG
型推論・・・この型以外はNGだから、この型と推論する