38 struct Replace {  struct
44 struct Replace<_1, Arg1, Arg2> {  struct
49 struct Replace<_2, Arg1, Arg2> {  argument
55 struct Replace<const T, Arg1, Arg2> {  struct
56   typedef typename Replace<T, Arg1, Arg2>::type const type;  argument
61 struct Replace<TT<T1>, Arg1, Arg2> {  struct
62   typedef TT<typename Replace<T1, Arg1, Arg2>::type> type;  argument
67 struct Replace<TT<T1, T2>, Arg1, Arg2> {  struct
68   typedef TT<typename Replace<T1, Arg1, Arg2>::type,
69              typename Replace<T2, Arg1, Arg2>::type> type;  argument
75 struct Replace<TT<T1, _2>, Arg1, Arg2> {  struct
76   typedef TT<typename Replace<T1, Arg1, Arg2>::type, Arg2> type;  argument
79 int array0[is_same<Replace<_1, int, float>::type, int>::value? 1 : -1];
80 int array1[is_same<Replace<const _1, int, float>::type, const int>::value? 1 : -1];
81 int array2[is_same<Replace<vector<_1>, int, float>::type, vector<int> >::value? 1 : -1];
82 int array3[is_same<Replace<vector<const _1>, int, float>::type, vector<const int> >::value? 1 : -1];
83 int array4[is_same<Replace<vector<int, _2>, double, float>::type, vector<int, float> >::value? 1 : …