1 files changed, 20 insertions, 0 deletions
diff --git a/tests/pos/hygiene.scala b/tests/pos/hygiene.scala
new file mode 100644
index 000000000..9bbf73c0f
--- /dev/null
+++ b/tests/pos/hygiene.scala
@@ -0,0 +1,20 @@
+// Illustrates a use case where we need hygiene.
+
+object hygiene {
+
+  class D[T]
+
+  case class C[T](x: D[T])
+// without hygiene, this gave
+// 7: error: wrong number of type arguments for hygiene.C.D, should be 0
+// 7: error: constructor C in class C does not take type parameters
+
+  object C {
+    class C
+  }
+
+  val c = C.apply(new D)
+
+  c.x
+
+}