tlang/source/tlang/testing/typecheck/basic_dependence_correct1.t

module typeChecking1;

A aInstance;
B bInstance;
int k;

class A
{
    static int pStatic;
    static B bInstanceStatic;
    static A aInstanceStaticMoi;

    int poes;
}

class B
{
    static int jStatic;
    static A aInstanceStatic;
}