Skip to content

Commit 63b4ad7

Browse files
committed
Fix truncated sentence
1 parent efcd58c commit 63b4ad7

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

docs/docs/reference/contextual/multiversal-equality.md

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -175,8 +175,9 @@ does not work, since it refers to the covariant parameter `T` in a nonvariant co
175175
```scala
176176
def contains[U >: T](x: U): Boolean
177177
```
178-
This generic version of `contains` is the one used in the current version of
179-
admits exactly the same applications as the `contains(x: Any)` definition we started with. But we can make it more useful (i.e. restrictive) by adding an `Eql` parameter:
178+
This generic version of `contains` is the one used in the current (Scala 2.12) version of `List`.
179+
It looks different but it admits exactly the same applications as the `contains(x: Any)` definition we started with.
180+
However, we can make it more useful (i.e. restrictive) by adding an `Eql` parameter:
180181
```scala
181182
def contains[U >: T](x: U) given Eql[T, U]: Boolean // (1)
182183
```

0 commit comments

Comments
 (0)