From 02a2a3629d9668952c2411c39d75730ca1882b08 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 30 Sep 2019 17:12:39 +0200 Subject: [PATCH] Fix implicit resolution spec The spec contained wording that was inconsistent with the precise rules gjven later. I verified that spec and implementation match now. --- docs/docs/reference/changed-features/implicit-resolution.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/docs/reference/changed-features/implicit-resolution.md b/docs/docs/reference/changed-features/implicit-resolution.md index a990781e411d..ec7a01466e71 100644 --- a/docs/docs/reference/changed-features/implicit-resolution.md +++ b/docs/docs/reference/changed-features/implicit-resolution.md @@ -100,9 +100,9 @@ affect implicits on the language level. ``` 7. The rule for picking a _most specific_ alternative among a set of overloaded or implicit alternatives is refined to take inferable parameters into account. All else - being equal, an alternative that takes more inferable parameters is taken to be more specific - than an alternative that takes fewer. If both alternatives take the same number of - inferable parameters, we try to choose between them as if they were methods with regular parameters. + being equal, an alternative that takes some implicit parameters is taken to be less specific + than an alternative that takes none. If both alternatives take implicit parameters, we try + to choose between them as if they were methods with regular parameters. The following paragraph in the SLS is affected by this change: _Original version:_