{"push_id":813061669,"size":3,"distinct_size":3,"ref":"refs/heads/fix/avoid","head":"c81b727049543a3a0e7d8983728e4ad9632b33b2","before":"d057f1365daf3a7be01579d5c6a8bd36d2464993","commits":[{"sha":"35e65537c2e748343eb2af79b30b9a56626a00c5","author":{"email":"f92fe4c0c81dbf990778df2217f519c7756e932f@ubuntu.com","name":"Guillaume Martres"},"message":"TypeAssigner#avoid: more precise types for inner classes\n\nWhen we need to avoid `A` in the class `A#B`, we can try to replace `A`\nby a supertype. Previously, we only tried to replace `A#B` itself by a\nsupertype.\n\nFixes #711.","distinct":true,"url":"https://api.github.com/repos/smarter/dotty/commits/35e65537c2e748343eb2af79b30b9a56626a00c5"},{"sha":"100b8faad4b4baa9247951e31aa135b187375b71","author":{"email":"f92fe4c0c81dbf990778df2217f519c7756e932f@ubuntu.com","name":"Guillaume Martres"},"message":"TypeAssigner#avoid: preserve type parameters if possible\n\nWe need to use `baseTypeWithArgs` to replace `Bar` by its supertype\n`Foo` in the type `Bar[Int]`.\n\nFixes #741.","distinct":true,"url":"https://api.github.com/repos/smarter/dotty/commits/100b8faad4b4baa9247951e31aa135b187375b71"},{"sha":"c81b727049543a3a0e7d8983728e4ad9632b33b2","author":{"email":"f92fe4c0c81dbf990778df2217f519c7756e932f@ubuntu.com","name":"Guillaume Martres"},"message":"TypeAssigner#avoid: also avoid escaping refs in the prefix of the prefix","distinct":true,"url":"https://api.github.com/repos/smarter/dotty/commits/c81b727049543a3a0e7d8983728e4ad9632b33b2"}]}