#2685 also implement __mul__ on express_set

This commit is contained in:
Thomas Krijnen
2023-01-13 11:12:26 +01:00
parent b759e22875
commit e812a886dc
@@ -634,8 +634,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator