1 // { dg-options "-fdiagnostics-show-template-tree -fno-elide-type" }
2
3 template<typename> struct vector {};
4 template<typename, typename> struct map {};
5
6 void fn_1(vector<int>);
7 void fn_2(map<int, int>);
8 void fn_3(vector<map<int, float> >);
9
test()10 void test ()
11 {
12 fn_1 (vector<double> ()); // { dg-error "could not convert .* from 'vector<double>' to 'vector<int>'" }
13 /* { dg-begin-multiline-output "" }
14 vector<
15 [double != int]>
16 { dg-end-multiline-output "" } */
17
18 fn_2 (map<int, double>()); // { dg-error "could not convert .* from 'map<int,double>' to 'map<int,int>'" }
19 /* { dg-begin-multiline-output "" }
20 map<
21 int,
22 [double != int]>
23 { dg-end-multiline-output "" } */
24 }
25