{"push_id":1093929039,"size":1,"distinct_size":1,"ref":"refs/heads/rwbarton-union","head":"212a5fe041983c9861a3acf2d6118725806a6d8d","before":"de05bd322c2524894c12381272e9a18e53006587","commits":[{"sha":"212a5fe041983c9861a3acf2d6118725806a6d8d","author":{"email":"328d83d9f3d188f4621d9b061a47d1bf9942ea3a@dropbox.com","name":"Reid Barton"},"message":"Generate correct constraints for Unions\n\nThe old code always generated a conjunction, where we sometimes want a\ndisjunction.  Since we can't represent or solve a disjunction of\nconstraints, need to approximate.\n\nIn the presence of Unions, the constraints inferred from (template,\nactual, direction) are not necessarily the reverses of the constraints\ninferred from (template, actual, neg_op(direction)). The\nvisit_instance and visit_callable cases were updated accordingly. Test\ntestGenericFunctionSubtypingWithUnions fails without this change.\n\nFixes #1458 and the remaining part of #1241.","distinct":true,"url":"https://api.github.com/repos/rwbarton/mypy/commits/212a5fe041983c9861a3acf2d6118725806a6d8d"}]}