See the static_if paper here: http://isocpp.org/forums
Under the post "constraints and static if" there is a link to a document about static_if https://docs.google.com/viewer?a=v&pid=forums&srcid=MDIyMDc3NjUwMTczOTM0Mjk3NjABMDI2MzM3MjkxNDM4NDQ5MzE4NDcBLWVsS1Y4dFhtdDhKATUBaXNvY3BwLm9yZwF2Mg Are they full of it? Has it caused the problems they mention in D?