I'm delighted to see that they're thinking about implementing generic methods, and even included the canonical Sort worst-case example.

The framing of the tradeoffs (slow programmer, slow compiler or slow execution) is interesting. To me it suggests that we'll go with "slow compiler", because slow programmer is always expensive, and slow execution is expensive when run at Google scale.

Although they did stick "and bloated binaries" alongside "slow compiler", which says maybe they haven't quite made their mind up.