summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortodesking <discommunicative@gmail.com>2015-07-08 20:50:34 +0900
committertodesking <discommunicative@gmail.com>2015-07-08 20:50:34 +0900
commit6eba305df84b1f1b364580036da0bba313da24c6 (patch)
tree6dd08de09f043ca85acc48ffa0fa652334ccc9b9
parent52fde52920d93325310e5544991feeea03e5c763 (diff)
downloadscala-6eba305df84b1f1b364580036da0bba313da24c6.tar.gz
scala-6eba305df84b1f1b364580036da0bba313da24c6.tar.bz2
scala-6eba305df84b1f1b364580036da0bba313da24c6.zip
Spec: Implicit parameters with context/view bound is allowed since 2.10
-rw-r--r--spec/07-implicits.md2
1 files changed, 0 insertions, 2 deletions
diff --git a/spec/07-implicits.md b/spec/07-implicits.md
index 5e10373959..1e687819d5 100644
--- a/spec/07-implicits.md
+++ b/spec/07-implicits.md
@@ -357,8 +357,6 @@ 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.
###### Example
The `<=` method from the [`Ordered` example](#example-ordered) can be declared