From 0d0cdea28ec142a3e6da7a29b8130138a41ae782 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Fri, 27 Jan 2012 20:09:38 -0800 Subject: Test case closes SI-3854. --- test/files/neg/t3854.check | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 test/files/neg/t3854.check (limited to 'test/files/neg/t3854.check') diff --git a/test/files/neg/t3854.check b/test/files/neg/t3854.check new file mode 100644 index 0000000000..c478481a6f --- /dev/null +++ b/test/files/neg/t3854.check @@ -0,0 +1,5 @@ +t3854.scala:1: error: class Bar needs to be abstract, since method foo in trait Foo of type [G[_]](implicit n: N[G,F])X[F] is not defined +(Note that N[G,F] does not match M[G]) +class Bar[F[_]] extends Foo[F] { + ^ +one error found -- cgit v1.2.3