{"push_id":810364328,"size":1,"distinct_size":1,"ref":"refs/heads/fix/#806-signature-matching","head":"25431a96c849c878c577e7449d9f8eeec9f94328","before":"ee4e2e0178d0db6494f2a971f5a5b9d3c8f732db","commits":[{"sha":"25431a96c849c878c577e7449d9f8eeec9f94328","author":{"email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","name":"Martin Odersky"},"message":"Refinements to signature matching\n\n1) Matching after erasure also takes wildcards into account\n(before it didn't).\n\n2) Combine all signature matching operations into a single matchDegree method.","distinct":true,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/25431a96c849c878c577e7449d9f8eeec9f94328"}]}