38ed4674e8
Closes #7556. Also move ``std::util::Void`` to ``std::any::Void``. It makes more sense to me.
Closes #7556. Also move ``std::util::Void`` to ``std::any::Void``. It makes more sense to me.