|null */ public $new_vars = null; /** * @var array */ public $new_vars_possibly_in_scope = []; /** * @var array|null */ public $forced_new_vars = null; /** * @var array|null */ public $redefined_vars = null; /** * @var array|null */ public $assigned_var_ids = null; /** * @var array */ public $possibly_redefined_vars = []; /** * @var array */ public $updated_vars = []; /** * @var array */ public $negated_types = []; /** * @var array */ public $if_cond_changed_var_ids = []; /** * @var array|null */ public $negatable_if_types = null; /** * @var array */ public $negated_clauses; /** * @var array */ public $reasonable_clauses = []; /** * Variables that were mixed, but are no longer * * @var array */ public $possible_param_types = null; /** * @var string[] */ public $final_actions = []; }