The following code
```
class A
{
void f()
{
class B : A
{
override void f()
{
class C : B
{
override void f()
{
class D : C
{
override void f()
{
}
}
D abcd;
}
}
C abc;
}
}
B ab;
}
}
```
is rejected with
> A.f.B.f.C` is nested within `f`, but super class `B` is nested within `f`
But the very similar
```
class A
{
void f()
{
static class B : A
{
override void f()
{
static class C : B
{
override void f()
{
static class D : C
{
override void f()
{
}
}
D abcd;
}
}
C abc;
}
}
B ab;
}
}
```
is accepted.
Comment #1 by robert.schadek — 2024-12-13T19:29:01Z