(MyIndex.Type) -> MyIndex が ... のために必要なので、 ExpressibleByIntegerLiteral にはできないのです。 (edited)

6:57 AM

「リテラルとRangeファミリー」もしくは「Rangeファミリーと ...」を受けるものは作れるけど、「リテラルとRangeファミリーと...」を全部受けるのは出来ないって言う意味です。