Address reviewers comments

1 files changed, 5 insertions, 5 deletions

diff --git a/src/scala/Eq.scala b/src/scala/Eq.scala
index 1ac6e55d2..8275ecee8 100644
--- a/src/scala/Eq.scala
+++ b/src/scala/Eq.scala
@@ -2,9 +2,9 @@ package scala
 
 import annotation.implicitNotFound
 
-/** A marker trait indicating that values of kind `T` can be compared to values of type `U`. */
+/** A marker trait indicating that values of kind `L` can be compared to values of type `R`. */
 @implicitNotFound("Values of types ${L} and ${R} cannot be compared with == or !=")
-trait Eq[-L, -R]
+sealed trait Eq[-L, -R]
 
 /** Besides being a companion object, this object
  *  can also be used as a value that's compatible with
@@ -14,9 +14,9 @@ object Eq extends Eq[Any, Any] {
 
   /** A fall-back implicit to compare values of any types.
    *  The compiler will restrict implicit instances of `eqAny`. An instance
-   *  `eqAny[T, U]` is _invalid_ if `T` or `U` is a non-bottom type that
-   *  has an implicit `Eq[T, T]` (respectively `Eq[U, U]`) instance.
-   *  An implicit search will fail instead of returning an invalid `eqAny` instance,
+   *  `eqAny[T, U]` is _valid_ if `T <: U` or `U <: T` or both `T` and `U` are
+   *  Eq-free. A type `S` is Eq-free if there is no implicit instance of `Eq[S, S]`.
+   *  An implicit search will fail instead of returning an invalid `eqAny` instance.
    */
   implicit def eqAny[L, R]: Eq[L, R] = Eq
 }