Imagine if we could do this:

try

{

    // some code here

}

template<typename T> catch(T &obj)

{

    if constexpr ( requires { obj.what(); } )

    {

        cout << obj.what() << endl;

    }

    else

    {

        cout << "Thrown object is a " << typeid(T).name() << " and its value is " << obj << endl;

    }

}

Basically it would be the same as having 'catch(...)' except that we haven't lost the type info.