/* Verify colorization of the labels in diagnostic-show-locus.c
   for template comparisons.
   Doing so requires a plugin; see the comments in the plugin for the
   rationale.  */

// { dg-options "-fdiagnostics-color=always -fdiagnostics-show-caret" }

template<typename> struct vector {};
template<typename, typename> struct map {};

void fn_1(vector<int>);
void fn_2(map<int, int>);

void test_1 (vector<double> vec)
{
  fn_1 (vec);
  /* { dg-begin-multiline-output "" }
could not convert 'vec' from 'vector<double>' to 'vector<int>'
   fn_1 (vec);
         ^~~
         |
         vector<double>
     { dg-end-multiline-output "" } */
  // TODO: we don't yet highlight the mismatching part with color
}

void test_2 (const map<int, double> &m)
{
  fn_2 (m);
  /* { dg-begin-multiline-output "" }
could not convert 'm' from 'map<[...],double>' to 'map<[...],int>'
   fn_2 (m);
         ^
         |
         map<[...],double>
     { dg-end-multiline-output "" } */
  // TODO: we don't yet highlight the mismatching part with color
}