static_assert(false) fails to compile even if it appears in an if-constexpr branch that isn't taken. You need a dependent false value, templated by the type pas

static_assert(false) fails to compile even if it appears in an if-constexpr branch that isn't taken. You need a dependent false value, templated by the type passed into the lambda. And yes, C++ is an endless pit of horrors.