On 9/27/06, vc <vc at rsdn.ru> wrote: > when (a != null && a is X(value)) > WriteLine(value); // value is accessible in this point I already raised similar issue not so long ago. You can try to look at this thread for what was decided back then: http://nemerle.org/mailman/pipermail/devel-en/2006-July/002196.html