#include <vector>
#include <utility>

class A
{
public:
    A(const int i):m(i){}

private:
    int m;
};

int main()
{
    typedef std::pair< A, std::vector< int > > pair_t;
    typedef std::vector< pair_t > vector_t;

    vector_t vector;

    pair_t el(A(5), std::vector< int >(5, 5));
    vector.push_back(el);

    return 0;
}

error C2512: 'A::A' : no appropriate default constructor available

    typedef std::pair< A, std::vector< int > > pair_t;

    typedef std::pair< A, A > pair_t;

template<class _InIt, class _FwdIt, class _Alloc>
inline    _FwdIt _Uninit_move(
    {    // use swap to instead of the copy constructor
        ...

    // empty value used in the construction
    typename _Alloc::value_type _Val;
        ...
        }

BBR>но с какого перепуга мы сюда вообще попадаем, мне пока неочевидно

template<class _InIt, class _FwdIt, class _Alloc>
inline    _FwdIt _Uninit_move(

RB>template<class _InIt, class _FwdIt, class _Alloc>
RB>inline    _FwdIt _Uninit_move(
RB>

template<class _InIt, class _FwdIt, class _Alloc>
inline
    _FwdIt _Uninit_move(_InIt _First, _InIt _Last, _FwdIt _Dest,
        _Alloc& _Al, _Swap_move_tag, _Range_checked_iterator_tag)

template<class _Ty>
    struct _Is_swap_move
    {    // assumes _Ty is not _Swap_move_tag
    static const bool _Value = false;
    };

template<>
    struct _Is_swap_move<_Swap_move_tag>
    {    // reports true for _Swap_move_tag
    static const bool _Value = true;
    };

template<class _Ty1,
    class _Ty2>
    class _Move_operation_category<pair<_Ty1, _Ty2> >
    {    // reports true if either member of pair is _Swap_move_tag
public:
    typedef typename _If<
        _Is_swap_move<typename _Move_operation_category<
            _Ty1>::_Move_cat>::_Value ||                /// false для класс A
        _Is_swap_move<typename _Move_operation_category<
            _Ty2>::_Move_cat>::_Value,                  /// true для vector< int > (смотри на _Move_operation_category для вектора)
        _Swap_move_tag,
        _Undefined_move_tag>::_Result _Move_cat;            /// получаем _Swap_move_tag, что выглядит несколько странно.
    };

    // vector implements a performant swap
template <class _Ty, class _Ax>
    class _Move_operation_category<vector<_Ty, _Ax> >
    {
    public:
        typedef _Swap_move_tag _Move_cat;
    };

23.1.3
The type of objects stored in these components must meet the requirements of CopyConstructible
types (20.1.3), and the additional requirements of Assignable types.