diff --git a/resources/bytecode/javFiles/TypeCast.jav b/resources/bytecode/javFiles/TypeCast.jav
new file mode 100644
index 00000000..dffab1ae
--- /dev/null
+++ b/resources/bytecode/javFiles/TypeCast.jav
@@ -0,0 +1,11 @@
+import java.lang.Object;
+import java.lang.Integer;
+import java.util.List;
+import java.util.ArrayList;
+
+public class TypeCast {
+    public void main() {
+        Object a = new ArrayList<Integer>();
+        ArrayList b = (ArrayList) a;
+    }
+}
\ No newline at end of file
diff --git a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
index 41ded156..929b3726 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
@@ -102,7 +102,8 @@ public class TYPEStmt implements StatementVisitor {
 
     @Override
     public void visit(CastExpr castExpr) {
-        throw new NotImplementedException();
+        castExpr.expr.accept(this);
+        constraintsSet.addUndConstraint(new Pair(castExpr.getType(), castExpr.expr.getType(), PairOperator.SMALLERDOT));
     }
 
     @Override
diff --git a/src/test/java/TestComplete.java b/src/test/java/TestComplete.java
index 92f674ab..3a5485d3 100644
--- a/src/test/java/TestComplete.java
+++ b/src/test/java/TestComplete.java
@@ -867,6 +867,13 @@ public class TestComplete {
         assertEquals(clazzPublic.getDeclaredField("fPrivate").getModifiers(), Modifier.PRIVATE);
     }
 
+    @Test
+    public void testTypeCast() throws Exception {
+        var classFiles = generateClassFiles(new ByteArrayClassLoader(), "TypeCast.jav");
+        var clazz = classFiles.get("TypeCast");
+        var instance = clazz.getDeclaredConstructor().newInstance();
+    }
+
     @Test
     public void testBug122() throws Exception {
         var classFiles = generateClassFiles(new ByteArrayClassLoader(), "Bug122.jav");