Improve documentation of implicit conversions

docs/_docs/reference/changed-features/implicit-conversions-spec.md

@@ -43,8 +43,9 @@ Views are applied in three situations:
    `v` which is applicable to `e` and whose result contains a method
    `m` which is applicable to `args` is searched. 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 application
-   `e.m(args)` is converted to `v(e).m(args)`.
+   the one of `T => pt`, with `pt` being the structural type
+   `{ def m(args: T_1 , \ldots , T_n): U }`. If such a view is found,
+   the application `e.m(args)` is converted to `v(e).m(args)`.
 
 # Differences with Scala 2 implicit conversions
 

docs/_spec/07-implicits.md

@@ -63,7 +63,7 @@ The _parts_ of a type ´T´ are:
 - if ´T´ is a type projection `´S´#´U´`, the parts of ´S´ as well as ´T´ itself;
 - if ´T´ is a type alias, the parts of its expansion;
 - if ´T´ is an abstract type, the parts of its upper bound;
-- if ´T´ denotes an implicit conversion to a type with a method with argument types ´T_1, ..., T_n´ and result type ´U´, the union of the parts of ´T_1, ..., T_n´ and ´U´;
+- if ´T´ is a structural type with a method with argument types ´T_1, ..., T_n´ and result type ´U´, the union of the parts of ´T_1, ..., T_n´ and ´U´;
 - in all other cases, just ´T´ itself.
 
 Note that packages are internally represented as classes with companion modules to hold the package members.