> declare error : execution(static @A * *(..)) : "Does not work";
I think this pattern describes that the return value is annotated. It
is equivalent to:
execution(static (@A *) *(..))
Since you don't annotate any of the return types, this does not match.
(no 100% guarantee on that one though)
Eric
--
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada