//
// This is another "important" test: it checks whether we set
// TypeContainer.CurrentType correctly when compiling the
// declaration of `Stack'.
//

class Stack[T]
{
  //
  // This must be encoded as a TypeSpec (Stack<!0>) and
  // not as a TypeDef.
  //
  // PEVerify the resulting executable on Windows to make sure !
  //
   Hello ( _stack : Stack[T]) : void
  {
  }

   Test () : void
  {
    Hello (this);
  }
}

class X
{
  static Main () :  void
  { }
}
/*
BEGIN-OUTPUT
END-OUTPUT
*/