test(x:bool)
{
    if x {
    } else {
    }
}

//@PRACOWNIA
//@stop_after typechecker