From fcb0419a279263fd419e97143694a8bf71c46e59 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Thu, 8 Jul 2010 15:59:32 +0000 Subject: closes #3622: refchecks erased types without un... closes #3622: refchecks erased types without uncurrying them first review by odersky --- test/files/pos/t3622/test/AsyncTask.java | 5 +++++ test/files/pos/t3622/test/MyAsyncTask.java | 9 +++++++++ test/files/pos/t3622/test/Test.scala | 5 +++++ 3 files changed, 19 insertions(+) create mode 100644 test/files/pos/t3622/test/AsyncTask.java create mode 100644 test/files/pos/t3622/test/MyAsyncTask.java create mode 100644 test/files/pos/t3622/test/Test.scala (limited to 'test/files/pos/t3622') diff --git a/test/files/pos/t3622/test/AsyncTask.java b/test/files/pos/t3622/test/AsyncTask.java new file mode 100644 index 0000000000..cfcea3fe1a --- /dev/null +++ b/test/files/pos/t3622/test/AsyncTask.java @@ -0,0 +1,5 @@ +package test; + +public abstract class AsyncTask { + protected abstract Result doInBackground(Params... args); +} \ No newline at end of file diff --git a/test/files/pos/t3622/test/MyAsyncTask.java b/test/files/pos/t3622/test/MyAsyncTask.java new file mode 100644 index 0000000000..9ef4947052 --- /dev/null +++ b/test/files/pos/t3622/test/MyAsyncTask.java @@ -0,0 +1,9 @@ +package test; + +public abstract class MyAsyncTask extends AsyncTask { + protected abstract String doInBackground1(String[] args); + @Override + protected String doInBackground(String... args) { + return doInBackground1(new String[]{"dummy"}); + } +} \ No newline at end of file diff --git a/test/files/pos/t3622/test/Test.scala b/test/files/pos/t3622/test/Test.scala new file mode 100644 index 0000000000..fb82c581f9 --- /dev/null +++ b/test/files/pos/t3622/test/Test.scala @@ -0,0 +1,5 @@ +package test + +class Test extends MyAsyncTask { + protected[test] def doInBackground1(args: Array[String]): String = "" +} \ No newline at end of file -- cgit v1.2.3