Proposal To Revise Implicit Parameters

[odersky]

Principles for Implicits in Scala 3

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 chang…