タプル引数の特殊化

知ってる人も多そうですが、タプル引数は特殊化できません。色々書き方変えてダメだったので恐らく無理です。

template hoge(T... : TypeTuple!(int, int)){ ... } // エラー

これはそれなりに問題で、std.traitsで取得した型タプルを元にテンプレート引数の特殊化がしたい時とかに困るわけです。そういう変態さんの数は少なそうですが。

Aさん: std.traitsで取得した型タプルを元にテンプレート引数の特殊化がしたいです！
Bさん: それ static if でできるよ。

template hoge(T...){ static if (is(T == ParameterTypeTuple!(func))){ ... } }

めでたしめでたし。
でもダサいので早く出来るようにして欲しいです…嘘ですどうでもいいです。