Fix constructor completion problem detected in t0054

Constructors need to be completed in the context which immediately encloses
a class. Otherwise type references in the constructor see the wrong types,
as is demonstrated in t0054. The difficulty here is that the inner class B
nested in A also extends from A. Then it makes a difference whether the constructor
parameter types of B are resolved in the context of B or in the context of A.
Added explanation for context handling of constructors.

1 files changed, 4 insertions, 0 deletions

diff --git a/tests/pos/t0054.scala b/tests/pos/t0054.scala
new file mode 100644
index 000000000..670160f36
--- /dev/null
+++ b/tests/pos/t0054.scala
@@ -0,0 +1,4 @@
+class A {
+  case class B(x: C) extends A { val z: A.this.C = x }
+  class C {}
+}