Revert r21790: "closes #3373, #3177: validity c...

Revert r21790: "closes #3373, #3177: validity check of an implicit     "
value should consider the value as well as its accessor Revert r21792: "
"sorry, last-minute edit broke build: re-added parens                  "

will investigate how it broke and why my local pre-commit tests did not
catch the failure...

no review

1 files changed, 0 insertions, 39 deletions

diff --git a/test/files/pos/t3177.scala b/test/files/pos/t3177.scala
deleted file mode 100644
index 9f9528faec..0000000000
--- a/test/files/pos/t3177.scala
+++ /dev/null
@@ -1,39 +0,0 @@
-trait InvariantFunctor[F[_]] {
-  def xmap[A, B](ma: F[A], f: A => B, g: B => A): F[B]
-}
-
-object InvariantFunctor {
-  import Endo._
-
-  implicit val EndoInvariantFunctor = new InvariantFunctor[Endo] {
-    def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = (b: B) => f(ma(g(b)))
-  }
-
-  // The definition about fails with:
-  // anon-type.scala:9: error: not found: value b
-  //       def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = (b: B) => f(ma(g(b)))
-  //                                                                                     ^
-  //   anon-type.scala:8: error: not found: type $anon
-  //     implicit val EndoInvariantFunctor = new InvariantFunctor[Endo] {
-  //                                         ^
-
-
-  // These both work:
-  // implicit val EndoInvariantFunctorAscribed: InvariantFunctor[Endo] = new InvariantFunctor[Endo] {
-  //   def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = (b: B) => f(ma(g(b)))
-  // }
-  //
-  // implicit val EndoInvariantFunctorStubbed = new InvariantFunctor[Endo] {
-  //   def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = error("stub")
-  // }
-}
-
-trait Endo[X]
-
-object Endo {
-  implicit def EndoTo[A](f: A => A): Endo[A] = new Endo[A] {
-    def apply(a: A) = f(a)
-  }
-
-  implicit def EndoFrom[A](e: Endo[A]): A => A = e.apply(_)
-}
\ No newline at end of file