今更なんだけど
struct S<T: Equatable> {} func fs<X>(_ s: S<X>) { eq(type: X.self) } func eq<T: Equatable>(type: T.Type) {} こういうふうに書いた時に、 fs.<X> に自動的に : Equatable が付いてるの凄いし便利な気がする (edited)