Process the class itself then too, because if it must be initted as it is referenced by a variable's type then we must do the initializtions (static) of said class first and then that variable is satisfied (it doesn't matter too much without an assignment expresison but would with it hence we definately want this.

source/tlang/compiler/typecheck/dependancy.d

@@ -118,7 +118,10 @@ public void dependancyGenerate(TypeChecker tc, Container container)
                         * Above it means that because the type of `k` is `Person` and that is a
                         * class type therefore the Person class should have its static constructor
                         * run (=> all static members should be initialized)
+                        *
+                        * Okay, so we do all of the above SECOND, first the class must be checked itself
                         */
+                        dependancyGenerate(tc, classType);
                         encounter(tc, variable, classType);
                     }
                     else

source/tlang/testing/typecheck/basic_dependence_correct1.t

@@ -8,6 +8,8 @@ int jNumber;
 
 class A
 {
+    static int jStatic;
+    int jInstance;
     class C
     {