Remove redundant isinstance check

Ref. #291, #409
AdaCore · Aug 25, 2020 · 3a29a0f · 3a29a0f
1 parent 3dd0ed5
commit 3a29a0f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/rflx/model.py b/rflx/model.py
@@ -35,7 +35,6 @@
     Pow,
     ProofResult,
     Relation,
-    String,
     Sub,
     ValidChecksum,
     ValueRange,
@@ -1042,7 +1041,7 @@ def resolve_type(expr: Expr) -> Optional[TypeExpr]:
 
         def invalid_relation(left: TypeExpr, right: TypeExpr) -> bool:
             return (
-                (isinstance(left, Opaque) and not isinstance(right, (Opaque, Aggregate, String)))
+                (isinstance(left, Opaque) and not isinstance(right, (Opaque, Aggregate)))
                 or (isinstance(left, Array) and not isinstance(right, (Array, Aggregate)))
                 or (isinstance(left, Aggregate) and not isinstance(right, Composite))
             )