有关java数据类型转化的疑问

上述代码中的第5行在编译过程中出现了错误提醒,如下图所示

我的理解是第五行在进行加法运算的时候,右边的a和b同时提升为int数据类型再进行相加的操作,最终右边得到的应该是一个13的int类型的数据,但是由于13并未超过左边的short类型的范围,编译器自动进行强制转换。如下段代码所示:
成功输出result为13,可是为什么上面的第一段代码就不行。
我这样的理解有什么不对的地方吗,望解决
问题已解决:

重点是先编译在运行,编译的时候变量a和b没办法确定是否超过左边short的值,所以在编译的时候会显示错误。
感谢大佬的指点