// Only occurs when there are separate source files, compiled on separate command lines

// First.scala
package p
{
    abstract sealed class Forbidden {}

    class Automata(unused: Forbidden)
    {
        def this(data: Int) = this(new Forbidden {})
    }
}

// Second.scala
class Derived extends p.Automata(0) {}

/*
$ rm -f *.class p/?*.class
$ scalac First.scala
$ scalac Second.scala
error: error while loading Forbidden, class file '.\p\Forbidden.class' is broken
(error reading Scala signature of .\p\Forbidden.class: malformed Scala signature of Forbidden at 494; reference type $anon of constructor Automata refers to nonexisting symbol.)
one error found
*/