public function setIsReturnTypeUndefined(bool $is_return_type_undefined) { $this->setPhanFlags(Flags::bitVectorWithState($this->getPhanFlags(), Flags::IS_RETURN_TYPE_UNDEFINED, $is_return_type_undefined)); }