Fix type check bug

src/abstract_tree/assignment.rs

@@ -35,10 +35,7 @@ impl AbstractTree for Assignment {
                     source, type_node, context,
                 )?)
             } else {
-                context
+                None
-                    .variables()?
-                    .get(identifier.inner())
-                    .map(|(_, r#type)| TypeDefinition::new(r#type.clone()))
             }
         } else {
             None