Here’s an update: The SIP committee voted to accept provisionally the changes to implied instances and given clauses. This means:
- We will go forward with the design of these two components as they are currently specified and implemented in the Dotty codebase.
- Before we ship 3.0 final (sometimes in 2020) we will evaluate whether the new features saw significant use and what the usage experience was. If these are judged unsatisfactory we keep the possibility open to drop one or both of the changes. In this case there would be no alternative proposal for a dropped change.
So if you are keen to have the revised implicits, you should use them extensively and report back to fix any usability problems! That’s the best way to make sure they stay in.
This decision does not yet extend to import implied. We have a tweak for this which will be presented on its discussion thread.