test/files/run/t8907.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

import scala.tools.partest._
import java.io.File

object Test extends StoreReporterDirectTest {
  def code = ???

  def compileCode(code: String) = {
    val classpath = List(sys.props("partest.lib"), testOutput.path) mkString sys.props("path.separator")
    compileString(newCompiler("-cp", classpath, "-d", testOutput.path))(code)
  }

  def show(): Unit = {
    compileCode("""
      class C { class Inner }

      class D {
        object O {
          def foo(c: C)(i: c.Inner): c.Inner = ???
        }
      }
      """)
    assert(filteredInfos.isEmpty, filteredInfos)
    deleteClass("C")
    compileCode("""
      class E {
        def foo = {
          (null: D).toString
        }
      }
    """)
    assert(storeReporter.infos.isEmpty, storeReporter.infos.mkString("\n")) // Included a MissingRequirementError before.
  }

  def deleteClass(name: String) {
    val classFile = new File(testOutput.path, name + ".class")
    assert(classFile.exists)
    assert(classFile.delete())  
  }
}