[Record (Include = [Prop1, Prop2])]
    class Asd
    {
        public Prop1 : int { get; set }
        
        public Prop2 : int {
            mutable Prop2_ : int;
            get { Prop2_ }
            set { Prop2_ = value }
        }
    }

    Main() : void
    {
            def a = Asd(1, 2); // error : wrong number of parameters in call, needed 1, got 2
            WriteLine(a);
            ...