fix: use correct expr positions when delaborating match
patterns
#1507
copyright-header.yml
on: pull_request
check-lean-files
13s
match
patterns
#1507