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