@@ -669,10 +669,10 @@ Record.cs:
669669# 4| 1: [Parameter] r2
670670# 4| 13: [Property] EqualityContract
671671# 4| 3: [Getter] get_EqualityContract
672- # 6| 14: [IndexerProperty ] LastName
672+ # 6| 14: [Property ] LastName
673673# 6| -1: [TypeMention] string
674674# 6| 3: [Getter] get_LastName
675- # 7| 15: [IndexerProperty ] FirstName
675+ # 7| 15: [Property ] FirstName
676676# 7| -1: [TypeMention] string
677677# 7| 3: [Getter] get_FirstName
678678# 9| 16: [InstanceConstructor] Person
@@ -699,7 +699,7 @@ Record.cs:
699699# 12| 1: [Parameter] r2
700700# 12| 14: [Property] EqualityContract
701701# 12| 3: [Getter] get_EqualityContract
702- # 14| 15: [IndexerProperty ] Subject
702+ # 14| 15: [Property ] Subject
703703# 14| -1: [TypeMention] string
704704# 14| 3: [Getter] get_Subject
705705# 16| 16: [InstanceConstructor] Teacher
@@ -761,12 +761,12 @@ Record.cs:
761761# 27| -1: [TypeMention] string
762762# 27| 1: [Parameter] LastName
763763# 27| -1: [TypeMention] string
764- # 27| 16: [IndexerProperty ] FirstName
764+ # 27| 16: [Property ] FirstName
765765# 27| 3: [Getter] get_FirstName
766766# 27| 4: [Setter] set_FirstName
767767#-----| 2: (Parameters)
768768# 27| 0: [Parameter] value
769- # 27| 17: [IndexerProperty ] LastName
769+ # 27| 17: [Property ] LastName
770770# 27| 3: [Getter] get_LastName
771771# 27| 4: [Setter] set_LastName
772772#-----| 2: (Parameters)
@@ -790,7 +790,7 @@ Record.cs:
790790# 29| -1: [TypeMention] string
791791# 29| 2: [Parameter] Subject
792792# 29| -1: [TypeMention] string
793- # 29| 17: [IndexerProperty ] Subject
793+ # 29| 17: [Property ] Subject
794794# 29| 3: [Getter] get_Subject
795795# 29| 4: [Setter] set_Subject
796796#-----| 2: (Parameters)
@@ -834,7 +834,7 @@ Record.cs:
834834#-----| 2: (Parameters)
835835# 35| 0: [Parameter] Name
836836# 35| -1: [TypeMention] string
837- # 35| 16: [IndexerProperty ] Name
837+ # 35| 16: [Property ] Name
838838# 35| 3: [Getter] get_Name
839839# 35| 4: [Setter] set_Name
840840#-----| 2: (Parameters)
0 commit comments