test(x:bool)
{
    while x {
    }
}

//@PRACOWNIA
//@stop_after typechecker