(self)
return new_constraints
Handle Add constraints.
Handle Add constraints.
Handle Add constraints .
def _subtype_constraints_from_add(self):
        """
        Handle Add constraints.
        """
        new_constraints = set()
        for constraint in self._constraints:
            if isinstance(constraint, Add):
                # we want to be conservative and take a guess here - normally the resulting type variable is a subtype
                # of the first type variable
                new_constraints.add(Subtype(constraint.type_0, constraint.type_r))
        return new_constraints
def _subtype_constraints_from_add ( self ) : new_constraints = set ( ) for constraint in self . _constraints : if isinstance ( constraint , Add ) : # we want to be conservative and take a guess here - normally the resulting type variable is a subtype # of the first type variable new_constraints . add ( Subtype ( constraint . type_0 , constraint . type_r ) ) return new_constraints