blob: 079ca6224cea6a8ca0573f314077275ba22d20d8 (
plain) (
tree)
|
|
case class pc(calls: Any*) extends annotation.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)
}
|