リテラルはその時点では特定の型として扱われない。リテラルが型推論された結果としてその型として扱われる。リテラルが型推論された型が対応するLiteralConvertibleを実装している場合、コンパイルエラーとならずその型としてコンパイルされる. 指定がなけ…