それを定数式の文脈と呼ぶんじゃないの