test(x:int)
{
    while x {
    }
}
//@PRACOWNIA
//@should_not_typecheck