fixed #2208

don't expand type aliases that take type arguments in
typedTypeConstructor, as that bypasses refchecks have to expand type
alias without type arguments, as AnyRef must disappear (problem with
cycles during bootstrap)

1 files changed, 8 insertions, 0 deletions

diff --git a/test/files/neg/t2208.scala b/test/files/neg/t2208.scala
new file mode 100644
index 0000000000..43bb0adec5
--- /dev/null
+++ b/test/files/neg/t2208.scala
@@ -0,0 +1,8 @@
+object Test  {
+	class A
+
+	class B[X]
+	type Alias[X <: A] = B[X]
+
+	class C extends Alias[Any]   // not ok, normalisation should check bounds before expanding Alias
+}
\ No newline at end of file