/*******************************************************************\

Module: Lint Examples

Author: Thomas Kiley, thomas@diffblue.com

\*******************************************************************/

/*******************************************************************\

Function: fun

 Inputs:

 Outputs:

 Purpose:

\*******************************************************************/

static void fun()
{
  typedef std::vector<int> number_listt;
  std::vector<std::pair<int, int>> pairs;
  typedef std::vector<std::pair<goto_programt::targett,
    goto_programt::targett>> instanceof_inst;

  // This isn't a templated type
  if(x<y && y > z)
  {
    do_something();
  }

  // This is a templated type
  std::vector<int &&> x;
}
