diff --git a/slither/slithir/convert.py b/slither/slithir/convert.py
index ef5cacc16..2d5f7ad35 100644
--- a/slither/slithir/convert.py
+++ b/slither/slithir/convert.py
@@ -437,9 +437,6 @@ def propagate_type_and_convert_call(result, node):
 
         new_ins = propagate_types(ins, node)
         if new_ins:
-            # Validate that type was propagated
-            if isinstance(new_ins, OperationWithLValue):
-                assert new_ins.lvalue.type
             if isinstance(new_ins, (list,)):
                 for new_ins_ in new_ins:
                     new_ins_.set_node(ins.node)