Actully idk what I am doing, this is a weird mix of things. I should first focus on classes and static initializations. Then when a type is used of a class that should cause it to init

source/tlang/testing/typecheck/basic_dependence_correct1.t

@@ -6,7 +6,7 @@ class A
     static typeChecking1.B bInstance;
     static C cInstance;
 
-    static class C
+    class C
     {
         static B bInstance;
     }
@@ -14,5 +14,6 @@ class A
 
 class B
 {
+    static A.C cInstance;
     static B bInstance;
 }