...field1: 100;
    int field4: 5;

    AnotherType {
        field1: outer.field4 + 9;
    }
}

Lowers to something like:
struct...

...then FOUND
			//   is not visible to the outer loop
			static if (!__traits(compiles, mixin(format...

https://issues.dlang.org/show_bug.cgi?id=16215

--- Comment #5 from Walter Bright <bugzilla...

https://issues.dlang.org/show_bug.cgi?id=16215

Walter Bright <bugzilla@digitalmars.com> changed...

...doesn't reference any variables in the outer function.

Yes, but the compiler could infer...

...from inner to outer. All imported modules count as a further outer scope. See information...

...or the S struct itself inside the outer S template?

This is the main reason...

...It seems somewhat arbitrary - note that inner/outer functions does not have this limitation - the...

...where the storage class passed from the outer scope to the struct/class scope is...

...throw keyword in every other line. Imagine outer functions of some algorithm where the inner...