diff options
author | Ingo Maier <ingo.maier@epfl.ch> | 2011-03-08 10:06:10 +0000 |
---|---|---|
committer | Ingo Maier <ingo.maier@epfl.ch> | 2011-03-08 10:06:10 +0000 |
commit | c29b455562dcefbb80186bd0920227ef52eabdfa (patch) | |
tree | 89b866dd6a381d18674ceb9db485d3c743be2a8a | |
parent | a6c075bc6278b841ba30de5341a8fda51d759126 (diff) | |
download | scala-c29b455562dcefbb80186bd0920227ef52eabdfa.tar.gz scala-c29b455562dcefbb80186bd0920227ef52eabdfa.tar.bz2 scala-c29b455562dcefbb80186bd0920227ef52eabdfa.zip |
Closes #4314
-rw-r--r-- | src/library/scala/Predef.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/library/scala/Predef.scala b/src/library/scala/Predef.scala index 06ad659c68..61c8ca3f6a 100644 --- a/src/library/scala/Predef.scala +++ b/src/library/scala/Predef.scala @@ -338,7 +338,8 @@ object Predef extends LowPriorityImplicits { * @note we need a new type constructor `<:<` and evidence `conforms`, as * reusing `Function2` and `identity` leads to ambiguities in case of type errors (any2stringadd is inferred) * to constrain any abstract type T that's in scope in a method's argument list (not just the method's own type parameters) - * simply add an implicit argument of type `T <:< U`, where U is the required upper bound (for lower-bounds, use: `U <: T`) + * simply add an implicit argument of type `T <:< U`, where U is the required upper bound (for lower-bounds, use: `L <:< T`, + * where L is the required lower bound). * in part contributed by Jason Zaugg */ sealed abstract class <:<[-From, +To] extends (From => To) with Serializable |