adding test files from tcpoly branch without hi...

adding test files from tcpoly branch without history -- much faster this way, sorry

1 files changed, 13 insertions, 0 deletions

diff --git a/test/files/pos/tcpoly_return_overriding.scala b/test/files/pos/tcpoly_return_overriding.scala
new file mode 100644
index 0000000000..cc7dd55cec
--- /dev/null
+++ b/test/files/pos/tcpoly_return_overriding.scala
@@ -0,0 +1,13 @@
+trait Generic[g[x]] {
+  def unit: g[Unit]
+}
+
+trait Rep[t] {
+  def rep[m[x]](implicit gen: Generic[m]): m[t]
+}
+
+// testing that the return type is also transformed when checking overriding
+// + that substitution (of types&symbols) preserves isHigherKinded when replacing a higher-kinded type with another one
+object foo extends Rep[Unit] {
+  def rep[g[x]](implicit gen: Generic[g]): g[Unit]= gen.unit
+}
\ No newline at end of file