I am going down the route
struct S { static constexpr int extra=5; }; struct V { }; template void f() { if (std::is_same_v