blob: b5e7cb9e8bcbdd73e6e1351f4eb13ce7e4dadd5c (
plain) (
tree)
|
|
case class pc(calls: Any*) extends TypeConstraint
object Main {
class C0 { def baz: String = "" }
class C1 { def bar(c0: C0): String @pc(c0.baz) = c0.baz }
def trans(c1: C1): String @pc(c1.bar(throw new Error())) = c1.bar(new C0)
}
|