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