Improve documentation and minimze test

Documentation around markFree and narrowLiftedOwner was added.
i480 was minimzed and dependencies on dotc were removed. (+1 squashed commit)
Squashed commits:
[1a84054] Test cases for #480

1 files changed, 15 insertions, 0 deletions

diff --git a/tests/pos/i480a.scala b/tests/pos/i480a.scala
new file mode 100644
index 000000000..b388f6189
--- /dev/null
+++ b/tests/pos/i480a.scala
@@ -0,0 +1,15 @@
+package test
+
+/** A class defining symbols and types of standard definitions */
+class Definitions {
+
+  trait LazyType { def complete(): Unit }
+
+  def f(vcs: List[Int]): Unit = {
+    val completer = new LazyType  {
+      def complete(): Unit =
+        for (i <- 0 until vcs.length if vcs(i) != 0)
+          f(vcs.updated(i, 0))
+    }
+  }
+}