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

Баг.
Очевидно внутренние классы просто не учитывают обобщения снаружи .

C# все нормально:

public abstract class V
{
 public class A : V {}
}

public abstract class V<T>
{
 public class A : V<T> {}
}

Nemerle ошибка:

a.n:8:2:8:26: ←[01;31merror←[0m: you must specify `partial' modifier on all declarations of type `V.A'
a.n:3:2:3:23: ←[01;31merror←[0m: first defined here
a.n:8:21:8:22: ←[01;31merror←[0m: unbound type name `T'
a.n:8:2:8:26: ←[01;31merror←[0m: Partial declarations of `V.A' must not specify different base classes

public abstract class V
{
 public class A : V {}
}

public abstract class V[T]
{
 public class A : V[T] {}
}