···
373
373
.or_else(|| self.self_if_contains_location(byte_index)),
374
374
375
375
Self::RecordUpdate {
376
376
-
record_assignment: record,
376
376
+
record_assignment,
377
377
constructor,
378
378
args,
379
379
..
···
381
381
.iter()
382
382
.filter(|arg| arg.implicit.is_none())
383
383
.find_map(|arg| arg.find_node(byte_index, constructor, args))
384
384
-
.or_else(|| record.as_ref().and_then(|r| r.find_node(byte_index)))
384
384
+
.or_else(|| {
385
385
+
record_assignment
386
386
+
.as_ref()
387
387
+
.and_then(|r| r.find_node(byte_index))
388
388
+
})
385
389
.or_else(|| self.self_if_contains_location(byte_index)),
386
390
}
387
391
}
···
512
516
.find_map(|arg| arg.value.find_statement(byte_index)),
513
517
514
518
Self::RecordUpdate {
515
515
-
record_assignment: record,
519
519
+
record_assignment,
516
520
args,
517
521
..
518
522
} => args
···
520
524
.filter(|arg| arg.implicit.is_none())
521
525
.find_map(|arg| arg.find_statement(byte_index))
522
526
.or_else(|| {
523
523
-
record
527
527
+
record_assignment
524
528
.as_ref()
525
529
.and_then(|r| r.value.find_statement(byte_index))
526
530
}),
···
843
843
TypedExpr::RecordUpdate {
844
844
location,
845
845
type_,
846
846
-
record_assignment: record,
846
846
+
record_assignment,
847
847
constructor,
848
848
args,
849
849
-
} => v.visit_typed_expr_record_update(location, type_, record, constructor, args),
849
849
+
} => {
850
850
+
v.visit_typed_expr_record_update(location, type_, record_assignment, constructor, args)
851
851
+
}
850
852
TypedExpr::NegateBool { location, value } => {
851
853
v.visit_typed_expr_negate_bool(location, value)
852
854
}
···
2163
2163
TypedExpr::RecordAccess { record, index, .. } => tuple_index(record, index + 1, env),
2164
2164
2165
2165
TypedExpr::RecordUpdate {
2166
2166
-
record_assignment: record,
2166
2166
+
record_assignment,
2167
2167
constructor,
2168
2168
args,
2169
2169
..
2170
2170
-
} => record_update(record, constructor, args, env),
2170
2170
+
} => record_update(record_assignment, constructor, args, env),
2171
2171
2172
2172
TypedExpr::Case {
2173
2173
subjects, clauses, ..
···
312
312
313
313
TypedExpr::RecordAccess { record, label, .. } => self.record_access(record, label),
314
314
TypedExpr::RecordUpdate {
315
315
-
record_assignment: record,
315
315
+
record_assignment,
316
316
constructor,
317
317
args,
318
318
..
319
319
-
} => self.record_update(record, constructor, args),
319
319
+
} => self.record_update(record_assignment, constructor, args),
320
320
321
321
TypedExpr::Var {
322
322
name, constructor, ..