From 9ef5f6817688f814a3450126aa7383b0928e80a0 Mon Sep 17 00:00:00 2001 From: Samuel Gruetter Date: Wed, 12 Mar 2014 22:44:33 +0100 Subject: add tests from scala/test/files/{pos,neg} with explicit Unit return type --- tests/untried/neg/tcpoly_override.check | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/untried/neg/tcpoly_override.check (limited to 'tests/untried/neg/tcpoly_override.check') diff --git a/tests/untried/neg/tcpoly_override.check b/tests/untried/neg/tcpoly_override.check new file mode 100644 index 000000000..dbc3ff946 --- /dev/null +++ b/tests/untried/neg/tcpoly_override.check @@ -0,0 +1,6 @@ +tcpoly_override.scala:9: error: The kind of type T does not conform to the expected kind of type T[_] in trait A. +C.this.T's type parameters do not match type T's expected parameters: +type T (in class C) has no type parameters, but type T (in trait A) has one + type T = B // This compiles well (@M: ... but it shouldn't) + ^ +one error found -- cgit v1.2.3