Detect applying or piping into .field as record access (in the following only showing application) as part of #162 and a few more.
{ record | field = .field record }
--> record
{ record | field = .field record, other = x }
--> { record | other = x }
.field { field = a }
--> a
.field { record | field = a }
--> a
.field { record | otherField = a }
--> record.field
.field (if c then yay else nay)
--> if c then yay.field else nay.field
.field (let x = y in z)
--> let x = y in z.field
Detect applying or piping into
.field
as record access (in the following only showing application) as part of #162 and a few more.