Latest in the implicit overhaul

Just to keep people up to date on one of the most controversial Dotty topics: after vigorous debate on Scala Contributors about keywords, it currently looks like we’re likely to stick with the word implicit, albeit with somewhat new syntax. (As opposed to implied, or the dozens of alternatives that various folks proposed.)

As usual, nothing is set in stone (I’ll be curious to see where the discussion goes from here), but Martin’s latest comment on the topic can be found here, and the proposed current version of the documentation, reflecting this change, can be found here. (Note that that’s a hidden variant of the documentation, not yet linked from the top.)