Sync with 5.2.0

[deliverable/titan.core.git] / compiler2 / subtype.hh

diff --git a/compiler2/subtype.hh b/compiler2/subtype.hh
index a9618aa057fcbfdd166ac10b17d9f60eaf1cbda4..f7fde1aa5ce0eeba292d7096fb7b14d63cb21dda 100644 (file)
--- a/compiler2/subtype.hh
+++ b/compiler2/subtype.hh
@@ -199,6 +199,8 @@ public:
   bool is_compatible_with_elem() const;
   // used to check compatibility of structured types
   bool is_length_compatible(const SubtypeConstraint *p_st) const;
+  bool is_upper_limit_infinity() const;
+  bool is_lower_limit_infinity() const;
 };
 
 /**