[Cocci] position confusion?

[johannes@sipsolutions.net (Johannes Berg)]

This is nonsense, but I don't see why it shouldn't parse:

@a@
type T;
identifier x;
position p;
@@
T x at p = { };

@b@
type T;
identifier x;
position p;
@@
T x at p = { };

@@
position p != a.p;
position q != b.p;
type T;
identifier x;
@@
*T x at q = {};

->
148 149
Fatal error: exception Failure("meta: parse error: \n = File \"/tmp/test.spatch\", line 17, column 16,??charpos = 148\n????around = 'p', whole content = position q != b.p;\n")


if I replace 'p' by 'q' in @b@, it works fine?

johannes