diff options
author | Seth Tisue <seth@tisue.net> | 2015-10-14 17:14:41 +0200 |
---|---|---|
committer | Seth Tisue <seth@tisue.net> | 2015-10-14 17:14:41 +0200 |
commit | 9834fc8654077b8bf63237b7278fa48ed01e200d (patch) | |
tree | 0486bb6b4a0fc3c8b980d272a08da70d479f3c86 | |
parent | d792e35e68bd424902d713a993e2fcdfec044914 (diff) | |
parent | 46009b17ed3e5d07a6662b0cf0f71b4512798cd3 (diff) | |
download | scala-9834fc8654077b8bf63237b7278fa48ed01e200d.tar.gz scala-9834fc8654077b8bf63237b7278fa48ed01e200d.tar.bz2 scala-9834fc8654077b8bf63237b7278fa48ed01e200d.zip |
Merge pull request #4610 from todesking/spec-implicits-remove-obsolete
Spec: Implicit parameters with context/view bound is allowed since 2.10
-rw-r--r-- | spec/07-implicits.md | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/spec/07-implicits.md b/spec/07-implicits.md index 726320ed33..28f6dfe5a8 100644 --- a/spec/07-implicits.md +++ b/spec/07-implicits.md @@ -357,8 +357,16 @@ they appear and all the resulting evidence parameters are concatenated in one implicit parameter section. Since traits do not take constructor parameters, this translation does not work for them. Consequently, type-parameters in traits may not be view- or context-bounded. -Also, a method or class with view- or context bounds may not define any -additional implicit parameters. + +Evidence parameters are prepended to the existing implicit parameter section, if one exists. + +For example: + +```scala +def foo[A: M](implicit b: B): C +// expands to: +// def foo[A](implicit evidence$1: M[A], b: B): C +``` ###### Example The `<=` method from the [`Ordered` example](#example-ordered) can be declared |