Description Wes Isberg 2005-04-22 03:15:46 EDT

I noticed that private ITD's are not visible to a nested aspect or class, unlike
private aspect members.  The following causes a compiler error:

public class Outer {
    static class C {        
    }
    static aspect Nested {
        private static int I;
        private static int C.i;
        static aspect NestedNested {
            void m() {
                C.i = 1; // fails
                I = 1;   // ok
            }
        }
    }
}

If this can't be made equivalent to ordinary private members, perhaps the
semantics section should change:

-- from
So a private inter-type member is visible only from code that is defined within
the declaring aspect

-- to
A private inter-type member is visible only from code within the declaring
aspect.  Further, unlike other private members, it is not visible to types
nested within the declaring aspect.

(Also, as a language issue, this might be an "info" bug.)