39 struct Replace {  struct
45 struct Replace<_1, Arg1, Arg2> {  argument
50 struct Replace<_2, Arg1, Arg2> {  argument
56 struct Replace<const T, Arg1, Arg2> {  argument
57   typedef typename Replace<T, Arg1, Arg2>::type const type;  argument
62 struct Replace<TT<T1>, Arg1, Arg2> {  struct
63   typedef TT<typename Replace<T1, Arg1, Arg2>::type> type;  argument
68 struct Replace<TT<T1, T2>, Arg1, Arg2> {  struct
69   typedef TT<typename Replace<T1, Arg1, Arg2>::type,
70              typename Replace<T2, Arg1, Arg2>::type> type;  argument
76 struct Replace<TT<T1, _2>, Arg1, Arg2> {  struct
77   typedef TT<typename Replace<T1, Arg1, Arg2>::type, Arg2> type;  argument
80 int array0[is_same<Replace<_1, int, float>::type, int>::value? 1 : -1];
81 int array1[is_same<Replace<const _1, int, float>::type, const int>::value? 1 : -1];
82 int array2[is_same<Replace<vector<_1>, int, float>::type, vector<int> >::value? 1 : -1];
83 int array3[is_same<Replace<vector<const _1>, int, float>::type, vector<const int> >::value? 1 : -1];
84 int array4[is_same<Replace<vector<int, _2>, double, float>::type, vector<int, float> >::value? 1 : …