FloatingPoint.+は実装は無いっぽい

11:53 PM

お

11:54 PM

RangeReplaceableCollection.+は、protocol extensionとして実装が与えられているから

11:54 PM

もし、ExpressibleByFloatingLiteralで、かつ、RangeReplaceableCollectionな型を自作した場合は、

11:54 PM

これは足し算の項のどこかにその型が無いと推論できないはず