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