From 9ef5f6817688f814a3450126aa7383b0928e80a0 Mon Sep 17 00:00:00 2001
From: Samuel Gruetter <samuel.gruetter@epfl.ch>
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/t7636.scala | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/untried/neg/t7636.scala

(limited to 'tests/untried/neg/t7636.scala')

diff --git a/tests/untried/neg/t7636.scala b/tests/untried/neg/t7636.scala
new file mode 100644
index 000000000..e801beacc
--- /dev/null
+++ b/tests/untried/neg/t7636.scala
@@ -0,0 +1,7 @@
+object Main extends App{
+  class ResultTable[E]( query : Either[_,E] )( columns : Int )
+  class C extends ResultTable(Left(5):Either[_,_])(5)
+}
+// Inference of the existential type for the parent type argument
+// E still fails. That looks tricky to fix, see the comments in SI-7636.
+// But we at least prevent a cascading NPE.
-- 
cgit v1.2.3