{"push_id":980468095,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4af130bf8d38250e22aa0a26a062c8ced5c47f2d","before":"e6174f31ae2e055fd6962fe69df96ab083ac537b","commits":[{"sha":"4af130bf8d38250e22aa0a26a062c8ced5c47f2d","author":{"email":"c6028e844c4df61195c9e04197f9d8f34b9b2c2d@fb.com","name":"jrm"},"message":"remove subtyping rule for the @PerformanceCritical annotation\n\nSummary:public\nIs seems that automatically inheriting annotations like `PerformanceCritical` or `NoAllocation` is the right thing to do in general. Otherwise, we need to enforce sub-typing rules which in the best case just adds a little bit of documentation, but could miss important issues when the code is not fully annotated. I am simplifying this part to avoid adding boilerplate code for the  `NoAllocation` case.\n\nReviewed By: sblackshear\n\nDifferential Revision: D2938627\n\nfb-gh-sync-id: ddb668b\nshipit-source-id: ddb668b","distinct":true,"url":"https://api.github.com/repos/facebook/infer/commits/4af130bf8d38250e22aa0a26a062c8ced5c47f2d"}]}