Expand test

Author: odersky

tests/run/memoTest.scala

@@ -12,4 +12,24 @@ object Test extends App {
 
   assert(foo(1) + foo(2) == 4)
   assert(bar(1) + bar(2) == 4)
+
+  class Context(val n: Int)
+  def f(c: Context): Context = {
+    println("computing f")
+    Context(c.n + 1)
+  }
+  given as Context(0)
+
+  locally {
+    given as Context given (c: Context) = memo(f(c))
+    println(the[Context].n)
+    println(the[Context].n)
+  }
+
+  val ctx = f(the[Context])
+  locally {
+    given as Context = ctx
+    println(the[Context].n)
+    println(the[Context].n)
+  }
 }