T' : a type that is dependent on a generic type parameter is not allowed as an argument to compiler intrinsic type trait ...