I have a type:
struct A {} template constexpr bool is_A_v = false; template<> constexpr bool is_A_v = true; // here I don\'t kn