Add function calls tests to adt-borrows.rs #1548
ci.yml
on: push
check_if_skip_duplicate_job
4s
charon-pin-is-forward
8s
charon-pin-is-merged
13s
userdocs
4s