def f([AnythingGoes] _x) 
{
 1 
};

Код успешно компилируется, хотя макроатрибут не указан.
Проверяется только при попытке использовать его в методах:

F([AnythingGoes] _x : object) : int // Ошибка компиляции, не найден AnythingGoesAttribute
{
 1 
};

Также макроатрибут полностью игнорируется даже если он находится:

using Nemerle.Assertions;

def f([NotNull] _x) 
{
 1 
};

f(null); // Нет ошибки !

Тут нужно либо запретить макроатрибуты в локальных функциях, либо их починить.
Какие мнения ?