@@ -878,7 +878,7 @@ Record.cs:
878878# 27| 1: [Parameter] right
879879# 27| 14: [Property] EqualityContract
880880# 27| 3: [Getter] get_EqualityContract
881- # 27| 15: [InstanceConstructor] Person1
881+ # 27| 15: [InstanceConstructor,PrimaryConstructor ] Person1
882882#-----| 2: (Parameters)
883883# 27| 0: [Parameter] FirstName
884884# 27| -1: [TypeMention] string
@@ -905,7 +905,7 @@ Record.cs:
905905# 29| 1: [Parameter] right
906906# 29| 15: [Property] EqualityContract
907907# 29| 3: [Getter] get_EqualityContract
908- # 29| 16: [InstanceConstructor] Teacher1
908+ # 29| 16: [InstanceConstructor,PrimaryConstructor ] Teacher1
909909#-----| 2: (Parameters)
910910# 29| 0: [Parameter] FirstName
911911# 29| -1: [TypeMention] string
@@ -929,7 +929,7 @@ Record.cs:
929929# 32| 1: [Parameter] right
930930# 32| 15: [Property] EqualityContract
931931# 32| 3: [Getter] get_EqualityContract
932- # 32| 16: [InstanceConstructor] Student1
932+ # 32| 16: [InstanceConstructor,PrimaryConstructor ] Student1
933933#-----| 2: (Parameters)
934934# 32| 0: [Parameter] FirstName
935935# 32| -1: [TypeMention] string
@@ -953,7 +953,7 @@ Record.cs:
953953# 35| 1: [Parameter] right
954954# 35| 14: [Property] EqualityContract
955955# 35| 3: [Getter] get_EqualityContract
956- # 35| 15: [InstanceConstructor] Pet
956+ # 35| 15: [InstanceConstructor,PrimaryConstructor ] Pet
957957#-----| 2: (Parameters)
958958# 35| 0: [Parameter] Name
959959# 35| -1: [TypeMention] string
@@ -977,7 +977,7 @@ Record.cs:
977977#-----| 2: (Parameters)
978978# 41| 0: [Parameter] left
979979# 41| 1: [Parameter] right
980- # 41| 14: [InstanceConstructor] Dog
980+ # 41| 14: [InstanceConstructor,PrimaryConstructor ] Dog
981981#-----| 2: (Parameters)
982982# 41| 0: [Parameter] Name
983983# 41| -1: [TypeMention] string
@@ -1018,7 +1018,7 @@ Record.cs:
10181018# 54| 1: [Parameter] right
10191019# 54| 14: [Property] EqualityContract
10201020# 54| 3: [Getter] get_EqualityContract
1021- # 54| 15: [InstanceConstructor] R1
1021+ # 54| 15: [InstanceConstructor,PrimaryConstructor ] R1
10221022#-----| 2: (Parameters)
10231023# 54| 0: [Parameter] A
10241024# 54| -1: [TypeMention] string
@@ -1038,7 +1038,7 @@ Record.cs:
10381038# 56| 1: [Parameter] right
10391039# 56| 15: [Property] EqualityContract
10401040# 56| 3: [Getter] get_EqualityContract
1041- # 56| 16: [InstanceConstructor] R2
1041+ # 56| 16: [InstanceConstructor,PrimaryConstructor ] R2
10421042#-----| 2: (Parameters)
10431043# 56| 0: [Parameter] A
10441044# 56| -1: [TypeMention] string
0 commit comments