Demonstrate issue with inference and TermRefs

> run -Xprint-types -Ytest-pickler -Ystop-after:pickler tests/pos/pickleinf.scala
[error] (no source file, offset = 0): error: value of type
        <notype> does not take parameters

Author: smarter

test/dotc/tests.scala

@@ -53,6 +53,7 @@ class tests extends CompilerTest {
 // This directory doesn't exist anymore
 // @Test def pickle_pickling = compileDir(coreDir, "pickling", testPickling)
   @Test def pickle_ast = compileDir(dotcDir, "ast", testPickling)
+  @Test def pickle_inf = compileFile(posDir, "pickleinf", testPickling)
 
   //@Test def pickle_core = compileDir(dotcDir, "core", testPickling, xerrors = 2) // two spurious comparison errors in Types and TypeOps
 

tests/pos/pickleinf.scala

@@ -0,0 +1,9 @@
+class Bar[N] {
+  def bar(name: N, dummy: Int = 42): N = name
+}
+
+object Test {
+  def test(): Unit = {
+    (new Bar).bar(10)
+  }
+}