// objective: C# property initializer

// check: class_class1.xml

class Class1

{

  public int Property1 { get; } = 1;

  public string Property2 { get; set; }

}