Add fullyDefinedType for class parent types

If we do not do that, any type variables in the parent type get interpolated
later, when the whole primary constructor is typed. But by then we miss the
context of what their variance was.

1 files changed, 9 insertions, 0 deletions

diff --git a/tests/pos/i2218.scala b/tests/pos/i2218.scala
new file mode 100644
index 000000000..fbede8b9b
--- /dev/null
+++ b/tests/pos/i2218.scala
@@ -0,0 +1,9 @@
+trait Rule[In]
+
+class C {
+  def ruleWithName[In](f: In => Int): Rule[In] = {
+     new DefaultRule(f) {}
+  }
+
+  class DefaultRule[In](f: In => Int) extends Rule[In]
+}