constにできるのはプリミティブな数値型と文字列型のみ
constで定義できるかどうかと型推論とは関係ない
あと推量じゃなくて推論ね