// objective: C# property initializer
// check: class_class1.xml
class Class1
{
  public int Property1 { get; } = 1;
  public string Property2 { get; set; }
}