From 8f52363c21d839a4af70ea0ea82fbd8ce56984ae Mon Sep 17 00:00:00 2001 From: Som Snytt Date: Thu, 4 Apr 2024 14:40:58 -0700 Subject: [PATCH] Clarify implicit scope for view --- docs/_spec/07-implicits.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/_spec/07-implicits.md b/docs/_spec/07-implicits.md index dacc0c0c277e..7bba64c2f00c 100644 --- a/docs/_spec/07-implicits.md +++ b/docs/_spec/07-implicits.md @@ -288,7 +288,8 @@ The search proceeds as in the case of implicit parameters, where the implicit sc If such a view is found, the selection ´e.m´ is converted to `´v´(´e´).´m´`. 1. In a selection ´e.m(\mathit{args})´ with ´e´ of type ´T´, if the selector ´m´ denotes some member(s) of ´T´, but none of these members is applicable to the arguments ´\mathit{args}´. In this case a view ´v´ is searched which is applicable to ´e´ and whose result contains a method ´m´ which is applicable to ´\mathit{args}´. -The search proceeds as in the case of implicit parameters, where the implicit scope is the one of ´T´. If such a view is found, the selection ´e.m´ is converted to `´v´(´e´).´m(\mathit{args})´`. +The search proceeds as in the case of implicit parameters, where the implicit scope is the one of `´T´ => ´\mathit{pt}´`. +If such a view is found, the selection ´e.m´ is converted to `´v´(´e´).´m(\mathit{args})´`. The implicit view, if it is found, can accept its argument ´e´ as a call-by-value or as a call-by-name parameter. However, call-by-value implicits take precedence over call-by-name implicits.