1 files changed, 38 insertions, 0 deletions
diff --git a/test/files/run/t2318.scala b/test/files/run/t2318.scala
new file mode 100644
index 0000000000..e42cbb9680
--- /dev/null
+++ b/test/files/run/t2318.scala
@@ -0,0 +1,38 @@
+import java.security._
+
+object Test {
+  trait Bar { def bar: Unit }
+  
+  object Mgr extends SecurityManager {
+    override def checkPermission(perm: Permission) = perm match {
+      case _: java.lang.RuntimePermission                                                   => ()
+      case _: java.io.FilePermission                                                        => ()
+      case x: java.security.AccessControlException if x.getName contains ".networkaddress." => () // generality ftw
+      case _                                                                                => super.checkPermission(perm)
+    }
+  }
+  
+  def t1() = {
+    val p = Runtime.getRuntime().exec("ls");
+    type Destroyable = { def destroy() : Unit }
+    def doDestroy( obj : Destroyable ) : Unit = obj.destroy(); 
+    doDestroy( p );
+  }
+  def t2() = {
+    System.setSecurityManager(Mgr)
+
+    val b = new Bar { def bar = println("bar") }
+    b.bar
+
+    val structural = b.asInstanceOf[{ def bar: Unit }]
+    structural.bar
+  }
+  
+  def main(args: Array[String]) {
+    // figuring this will otherwise break on windows
+    try t1()
+    catch { case _: java.io.IOException => () }
+    
+    t2()
+  }
+}