{"push_id":1088488394,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c84ac2a3862c42fbcb45a4946c4821624ec052ec","before":"2accc94f2bfe4e130f0c2843761df71ac1efb9c5","commits":[{"sha":"c84ac2a3862c42fbcb45a4946c4821624ec052ec","author":{"email":"bda552f8f4af7a94823471a25062f46b7141a590@fb.com","name":"Andrew Kennedy"},"message":"[hack] Relax variance restrictions on constraints on class type parameters\n\nSummary:\nCovariant and contravariant parameters can safely appear anywhere in \"as\" and \"super\" constraints on\nclass type parameters. Currently an \"as\" constraint is treated as a negative (contravariant) position,\nand a \"super\" constraint as a positive (covariant) position. This is necessary for constraints on *method*\ntype parameters but there is no soundness requirement for this check on class type parameters.\n\n(See http://research.microsoft.com/pubs/64042/ecoop06.pdf for a soundness theorem that proves it.)\n\nReviewed By: dlreeves\n\nDifferential Revision: D3235459\n\nfb-gh-sync-id: 483a61d9ddc1201c31a9ef870daaa4a366cc5693\nfbshipit-source-id: 483a61d9ddc1201c31a9ef870daaa4a366cc5693","distinct":true,"url":"https://api.github.com/repos/facebook/flow/commits/c84ac2a3862c42fbcb45a4946c4821624ec052ec"}]}