SI-8449 Fix spurious error with Java raw type over a Scala class

When the Scala typechecker typechecks signatures in Java sources,
it must enable use of a type constructor without applied type
arguments (a raw type).

However, the check in `adaptType::properTypeRequired` was too
restricive: it only allows raw types given a) we are typechecking a
Java source file and b) the type constructor itself is Java defined.

The second check does not make sense; it is perfectly legal to define
a Java raw type for over a Scala defined type constructor. This commit
removes it.

The bug was noticed in the Scaladoc context, as it explores the
signatures of all Java sources so it can document them. But the
enclosed test demonstrates the underlying bug under normal
compilation.

2 files changed, 13 insertions, 0 deletions

diff --git a/test/files/t8449/Client.scala b/test/files/t8449/Client.scala
new file mode 100644
index 0000000000..5d273f06b2
--- /dev/null
+++ b/test/files/t8449/Client.scala
@@ -0,0 +1,3 @@
+object Client {
+  def foo: Any = new Test().foo
+}
diff --git a/test/files/t8449/Test.java b/test/files/t8449/Test.java
new file mode 100644
index 0000000000..ecb1711b24
--- /dev/null
+++ b/test/files/t8449/Test.java
@@ -0,0 +1,10 @@
+public class Test {
+	// Raw type over a Scala type constructor
+	public scala.Function1 foo() { return null; }
+	// scalac reported:
+	// % scalac-hash v2.11.2 -d /tmp sandbox/{Test.java,Client.scala}
+	// sandbox/Test.java:2: error: trait Function1 takes type parameters
+	// 	public scala.Function1 foo() { return null; }
+	//                      ^
+	// one error found
+}