From 378f5373f33334a0bc5d917cc9f6b8538244edd1 Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Wed, 6 Jul 2022 17:44:16 -0500
Subject: [PATCH] remove invalid assertion

---
 slither/slithir/convert.py | 3 ---
 1 file changed, 3 deletions(-)

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)