path: root/test/files/run/t1500.check

defined class posingAs
resolve: [A, B](x: A @posingAs[B])B
x: Any = 7