public class PR238
{
  void foo(A a)
  {
    a.toString();
  }

  class A {}
}