Здравствуйте, _NN_, Вы писали:

В связи с этим есть забавный баг:
1.

public interface A
{
 interface B{}
 F() : B;
}

error: Method `F' is more accessible than `A.B'

2.

public interface A
{
 public interface B{}
 F() : B;
}

error: interface members are not allowed to have any attributes specified, except 'new'

А через макрос можно добавить 'public' в любом случае
Итого, я считаю, что нужно разрешить писать 'public' для типов в интерфейсе.