For c++ you can require the destructor be removed with ~Foo() = delete; Or be trivial (https://en.cppreference.com/w/cpp/language/destructor#Trivial_destr

For c++ you can require the destructor be removed with ~Foo() = delete; Or be trivial (https://en.cppreference.com/w/cpp/language/destructor#Trivial_destructor https://en.cppreference.com/w/cpp/language/destructor#Trivia...), then use compile time checks on std::is_trivially_destructible || !std::is_destructible to be allowed into the arena.