class MainClass
{
        class Gen[T]
        {
    public Test () :  void
    { }
        }

        class Der : Gen[int]
        {
        }

        static Main () :  void
        {
    mutable  o =  Der ();
                mutable  b = ( o : Gen[int]);
    b.Test ();
        }
}
/*
BEGIN-OUTPUT
END-OUTPUT
*/