From 4aa2a52480f0d0341c76bf86495b600291cab160 Mon Sep 17 00:00:00 2001
From: ahmad <ahmadjoha103@gmail.com>
Date: Wed, 15 May 2024 22:42:58 +0200
Subject: [PATCH] Retrieve typeCheck in TypedAssignment

---
 .../java/de/maishai/typedast/typedclass/TypedAssignment.java     | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/java/de/maishai/typedast/typedclass/TypedAssignment.java b/src/main/java/de/maishai/typedast/typedclass/TypedAssignment.java
index 7985d3f..91b92ea 100644
--- a/src/main/java/de/maishai/typedast/typedclass/TypedAssignment.java
+++ b/src/main/java/de/maishai/typedast/typedclass/TypedAssignment.java
@@ -25,6 +25,7 @@ public class TypedAssignment implements TypedStatement {
     public void convertToTypedAssignment(TypedProgram typedProgram, Assignment untyped) {
         value = convertExpression(typedProgram, untyped.value());
         location = new TypedFieldVarAccess(typedProgram, untyped.location());
+        location.typeCheck(typedProgram);
     }
 
     @Override