いや、そこが違うと思います

8:15 AM

CustomStringConvertible の description は

8:15 AM

<T: CustomStringConvertible> の T がたとえわかっていなくても String であるとわかるけど

8:15 AM

associatedtype の場合は個々の T がわかってないと導く型がわからない。

8:16 AM

そこには型システム的な意味の違いがある気がする。