// A non-generic type may have a closed constructed type as its parent

class Foo[T]
{
  public Hello () :  void
  { }

  public World ( _t : T) :  void
  {
    Hello ();
  }
}

class Bar : Foo[int]
{
  public Test () :  void
  {
    Hello ();
    World (4);
  }
}

class X
{
  static Main () :  void
  {
    mutable  bar =  Bar ();
    bar.Test ();
  }
}
/*
BEGIN-OUTPUT
END-OUTPUT
*/