これだと、AnyEquatableのinitのところで、E:Equatableの制約を静的に見てるから

1:16 AM

結局制約のないTのパターンのcheckだと無理なのは一緒に見える