@@ -74,6 +74,7 @@ pub fn get_exn_constructor(
         constructor: Some(signature),
         resolver: None,
         loc: None,
+        static_fields: Default::default(),

@@ -1040,6 +1040,7 @@ impl TopLevelComposer {
             class_body_ast,
             _class_ancestor_def,
             class_fields_def,
+            class_static_fields_def, // Introduce static class attribute list into the function

@@ -162,6 +162,7 @@ impl TopLevelComposer {
             object_id: DefinitionId(index),
             type_vars: Default::default(),
             fields: Default::default(),
+            static_fields: Default::default(), // Initialize for constructor

@@ -93,2 +93,4 @@
         fields: Vec<(StrRef, Type, bool)>,
         // class methods, pointing to the corresponding function definition.
+        static_fields: Vec<(StrRef, Type, bool)>, 
+        // list of static data members

@@ -1337,2 +1344,3 @@
                 }
-                ast::StmtKind::Assign { .. } => {}, // we don't class attributes
+
+                // Add assign branch since fields in the form "ATTR_0 = 5" in the class body qualify as static class attributes

@@ -1516,6 +1550,7 @@ impl TopLevelComposer {
                 ancestors,
                 methods,
                 fields,
+                static_fields, // Introduce static fields for (un)initialization check

@@ -1621,2 +1656,2 @@
-                        for (f, _, _) in fields {
-                            if !all_inited.contains(f) {
+                        // If a field is uninitialized but also a static class attribute, don't 
+                        // throw an error due to uninitialization

@@ -1269,3 +1271,3 @@
                         .map_err(|e| e.to_display(unifier).to_string())?;
                 }
-                ast::StmtKind::AnnAssign { target, annotation, value: None, .. } => {
+                // Reset value from none since fields in the form "ATTR_0: int32 = 10" need to be initialised

@@ -1294,6 +1297,10 @@ impl TopLevelComposer {
                                 _ if core_config.kernel_ann.is_none() => (annotation, true),
                                 _ => continue, // ignore fields annotated otherwise
                             };
+                            // If the value node is provided, then it must be a static class attribute

@@ -1339,0 +1355,4 @@
+
+                                class_static_fields_def.push((*attr, dummy_field_type, true));
+                                class_fields_def.push((*attr, dummy_field_type, true));
+                                

@@ -1339,0 +1358,4 @@
+                                
+                            } else {
+                                return Err(format!(
+                                    "same class fields `{}` defined twice (at {})",