contract Equal(t T) { t == t }

3:49 AM

型パラメータは associatedtype じゃなくてジェネリクスの型パラメータ？

3:50 AM

まだよくわかってないけど contract を型として使うことはできないんじゃない？