Use call as location for error node corresponding to requires#730

schuessf wants to merge 4 commits intodevultimate-pa/ultimate:devfrom

wip/fs/requires-at-callsiteultimate-pa/ultimate:wip/fs/requires-at-callsiteCopy head branch name to clipboard