[Record] class A { public i : int; } [Record] class B : A { public j : int; } def b = B(1,2); System.Console.WriteLine(b.i);