結果 : typescript never type example