Issue 35: Borrowing annotation for getter result
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
We can already use @Perm to "fake" a getter that lends the result to the
caller.  Would be better to have a separate annotation @Lends, optional
with the lent parameter, that one can stick on the method parameter that
lends the result.  Implementation checking tricky; will require
unique/immutable for now.
Sep 23, 2008
Project Member #1 kevin.bi...@gmail.com
(No comment was entered for this change.)
Labels: Usability
Sep 30, 2008
Project Member #3 kevin.bi...@gmail.com
Support @Lend (and @Capture) annotation since r80; corrected annotations in test case
in r89.

Still need to enable implementation checking.

Sep 30, 2008
Project Member #4 kevin.bi...@gmail.com
r93 allows unique / immutable permissions to stay unpacked upon return.  Also
refactored call and return preparation to both use wrangling.

r94 corrects test cases accordingly.