class Foo {
  static Main () :  void {}
}

class Foo [T] {
  static  mutable  x : Foo [T];
  static Blah : Foo [T] { get {  x; } }
}
/*
BEGIN-OUTPUT
END-OUTPUT
*/