左辺で決まっていないにも関わらず右辺のリテラルから推論できちゃう、というのは何か別の問題な気がしていて