SFINAE tried with bool gives compiler error: "template argument ‘T::value’ involves template parameter"
Why is it disallowed for partial specialization in a non-type argument to use nested template parameters