|null */ public ?array $new_vars = null; /** * @var array */ public array $new_vars_possibly_in_scope = []; /** * @var array|null */ public ?array $redefined_vars = null; /** * @var array|null */ public ?array $assigned_var_ids = null; /** * @var array */ public array $possibly_assigned_var_ids = []; /** * @var array */ public array $possibly_redefined_vars = []; /** * @var array */ public array $updated_vars = []; /** * @var array>> */ public array $negated_types = []; /** * @var array */ public array $if_cond_changed_var_ids = []; /** * @var array|null */ public ?array $negatable_if_types = null; /** * @var list */ public array $negated_clauses = []; /** * These are the set of clauses that could be applied after the `if` * statement, if the `if` statement contains branches with leaving statements, * and the else leaves too * * @var list */ public array $reasonable_clauses = []; /** * @var string[] */ public array $if_actions = []; /** * @var string[] */ public array $final_actions = []; public ?Context $post_leaving_if_context = null; }