The example code from the question should work as described in the documentation. The problem is caused by a bug in PostSharp code, which has been reported to PostSharp team. The fix will be implemented in one of the upcoming builds of version 3.1.
Update: This bug has been fixed in the PostSharp build 3.1.33.