{"push_id":3173967179,"size":1,"distinct_size":1,"ref":"refs/heads/hk-inference","head":"17d18069be20e6f4d5291a9b62446bffe9856e88","before":"a4c5670938163f6f264a0a396dc109e813343332","commits":[{"sha":"17d18069be20e6f4d5291a9b62446bffe9856e88","author":{"name":"Georgi Krastev","email":"6b88efd12ed584a6a9dbe69ccd5b7ce5c7f57b95@gmail.com"},"message":"HKT inference and GADT improvements\n\nHandle missing HKT cases in a few more places in the compiler:\n * in `HKTypeVar` override `typeParams`\n * in `TypeConstraints.solve` when bounds are empty\n * in `instantiateTypeVar` handle refining of higher-kinded GADT bounds","distinct":true,"url":"https://api.github.com/repos/joroKr21/scala/commits/17d18069be20e6f4d5291a9b62446bffe9856e88"}]}
{"actor":{"display_login":"joroKr21"}}