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

defined class xyz
loopWhile: [T](cond: => Boolean)(body: => Unit @xyz[T])Unit @xyz[T]
test: ()Unit @xyz[Int]