Python: Define Str as an alias of StrConst

tausbn · tausbn · commit 1c15fc5600c0 · 2022-08-17T13:36:32.000Z
diff --git a/python/ql/lib/semmle/python/Exprs.qll b/python/ql/lib/semmle/python/Exprs.qll
@@ -617,10 +617,10 @@ private string non_byte_prefix() {
 }
 
 /** A string constant. This is a placeholder class -- use `StrConst` instead. */
-class Str extends Str_ { }
+class Str = StrConst;
 
 /** A string constant. */
-class StrConst extends Str, ImmutableLiteral {
+class StrConst extends Str_, ImmutableLiteral {
   /* syntax: "hello" */
   predicate isUnicode() {
     this.getPrefix() = unicode_prefix()
