mago-codex 1.15.2

use std::sync::Arc;

use serde::Deserialize;
use serde::Serialize;

use mago_atom::Atom;
use mago_atom::ascii_lowercase_atom;
use mago_atom::atom;

use crate::metadata::CodebaseMetadata;
use crate::reference::ReferenceSource;
use crate::reference::SymbolReferences;
use crate::symbol::SymbolKind;
use crate::symbol::Symbols;
use crate::ttype::TType;
use crate::ttype::TypeRef;
use crate::ttype::atomic::alias::TAlias;
use crate::ttype::atomic::array::TArray;
use crate::ttype::atomic::array::key::ArrayKey;
use crate::ttype::atomic::callable::TCallable;
use crate::ttype::atomic::conditional::TConditional;
use crate::ttype::atomic::derived::TDerived;
use crate::ttype::atomic::generic::TGenericParameter;
use crate::ttype::atomic::iterable::TIterable;
use crate::ttype::atomic::mixed::TMixed;
use crate::ttype::atomic::object::TObject;
use crate::ttype::atomic::object::r#enum::TEnum;
use crate::ttype::atomic::object::named::TNamedObject;
use crate::ttype::atomic::reference::TReference;
use crate::ttype::atomic::reference::TReferenceMemberSelector;
use crate::ttype::atomic::resource::TResource;
use crate::ttype::atomic::scalar::TScalar;
use crate::ttype::atomic::scalar::class_like_string::TClassLikeString;
use crate::ttype::atomic::scalar::int::TInteger;
use crate::ttype::atomic::scalar::string::TString;
use crate::ttype::atomic::scalar::string::TStringLiteral;
use crate::ttype::get_arraykey;
use crate::ttype::get_mixed;
use crate::ttype::union::TUnion;
use crate::ttype::union::populate_union_type;

pub mod alias;
pub mod array;
pub mod callable;
pub mod conditional;
pub mod derived;
pub mod generic;
pub mod iterable;
pub mod mixed;
pub mod object;
pub mod reference;
pub mod resource;
pub mod scalar;

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize, Eq, Hash, PartialOrd, Ord)]
pub enum TAtomic {
    Scalar(TScalar),
    Callable(TCallable),
    Mixed(TMixed),
    Object(TObject),
    Array(TArray),
    Iterable(TIterable),
    Resource(TResource),
    Reference(TReference),
    GenericParameter(TGenericParameter),
    Variable(Atom),
    Conditional(TConditional),
    Derived(TDerived),
    Alias(TAlias),
    Never,
    Null,
    Void,
    Placeholder,
}

impl TAtomic {
    /// Returns true if this atomic is a Placeholder or contains Placeholder in type parameters.
    #[must_use]
    pub fn contains_placeholder(&self) -> bool {
        match self {
            TAtomic::Placeholder => true,
            TAtomic::Object(TObject::Named(named)) => {
                named.get_type_parameters().is_some_and(|params| params.iter().any(|p| p.contains_placeholder()))
            }
            TAtomic::Array(array) => array.contains_placeholder(),
            _ => false,
        }
    }

    #[must_use]
    pub fn is_numeric(&self) -> bool {
        match self {
            TAtomic::Scalar(scalar) => scalar.is_numeric(),
            TAtomic::GenericParameter(parameter) => parameter.constraint.is_numeric(),
            _ => false,
        }
    }

    #[must_use]
    pub fn is_int_or_float(&self) -> bool {
        match self {
            TAtomic::Scalar(scalar) => scalar.is_int_or_float(),
            TAtomic::GenericParameter(parameter) => parameter.constraint.is_int_or_float(),
            _ => false,
        }
    }

    /// Returns `Some(true)` if this type is effectively an int, `Some(false)` if effectively a float,
    /// or `None` if neither. Considers generic parameter constraints (e.g., `T of int` is treated as int).
    #[must_use]
    pub fn effective_int_or_float(&self) -> Option<bool> {
        match self {
            TAtomic::Scalar(TScalar::Integer(_)) => Some(true),
            TAtomic::Scalar(TScalar::Float(_)) => Some(false),
            TAtomic::GenericParameter(parameter) => parameter.constraint.effective_int_or_float(),
            _ => None,
        }
    }

    #[must_use]
    pub const fn is_mixed(&self) -> bool {
        matches!(self, TAtomic::Mixed(_))
    }

    #[must_use]
    pub const fn is_vanilla_mixed(&self) -> bool {
        matches!(self, TAtomic::Mixed(_))
    }

    #[must_use]
    pub const fn is_mixed_isset_from_loop(&self) -> bool {
        matches!(self, TAtomic::Mixed(mixed) if mixed.is_isset_from_loop())
    }

    #[must_use]
    pub const fn is_never(&self) -> bool {
        matches!(self, TAtomic::Never)
    }

    #[must_use]
    pub fn is_templated_as_never(&self) -> bool {
        matches!(self, TAtomic::GenericParameter(parameter) if parameter.constraint.is_never())
    }

    #[must_use]
    pub fn is_templated_as_mixed(&self) -> bool {
        matches!(self, TAtomic::GenericParameter(parameter) if parameter.is_constrained_as_mixed())
    }

    #[must_use]
    pub fn is_templated_as_vanilla_mixed(&self) -> bool {
        matches!(self, TAtomic::GenericParameter(parameter) if parameter.is_constrained_as_vanilla_mixed())
    }

    pub fn map_generic_parameter_constraint<F, T>(&self, f: F) -> Option<T>
    where
        F: FnOnce(&TUnion) -> T,
    {
        if let TAtomic::GenericParameter(parameter) = self { Some(f(parameter.constraint.as_ref())) } else { None }
    }

    #[must_use]
    pub fn is_enum(&self) -> bool {
        matches!(self, TAtomic::Object(TObject::Enum(TEnum { .. })))
    }

    #[must_use]
    pub fn is_enum_case(&self) -> bool {
        matches!(self, TAtomic::Object(TObject::Enum(TEnum { case: Some(_), .. })))
    }

    pub fn is_object_type(&self) -> bool {
        match self {
            TAtomic::Object(_) => true,
            TAtomic::Callable(callable) => {
                callable.get_signature().is_none_or(callable::TCallableSignature::is_closure)
            }
            TAtomic::GenericParameter(parameter) => parameter.is_constrained_as_objecty(),
            _ => false,
        }
    }

    #[must_use]
    pub fn is_static(&self) -> bool {
        matches!(self, TAtomic::Object(TObject::Named(named_object)) if named_object.is_static)
    }

    #[must_use]
    pub fn is_this(&self) -> bool {
        matches!(self, TAtomic::Object(TObject::Named(named_object)) if named_object.is_this())
    }

    #[must_use]
    pub fn get_object_or_enum_name(&self) -> Option<Atom> {
        match self {
            TAtomic::Object(object) => match object {
                TObject::Named(named_object) => Some(named_object.get_name()),
                TObject::Enum(r#enum) => Some(r#enum.get_name()),
                _ => None,
            },
            _ => None,
        }
    }

    #[must_use]
    pub fn get_all_object_names(&self) -> Vec<Atom> {
        let mut object_names = vec![];

        if let TAtomic::Object(object) = self {
            match object {
                TObject::Named(named_object) => object_names.push(named_object.get_name()),
                TObject::Enum(r#enum) => object_names.push(r#enum.get_name()),
                _ => {}
            }
        }

        for intersection_type in self.get_intersection_types().unwrap_or_default() {
            object_names.extend(intersection_type.get_all_object_names());
        }

        object_names
    }

    #[must_use]
    pub fn is_stdclass(&self) -> bool {
        matches!(&self, TAtomic::Object(object) if {
            object.get_name().is_some_and(|name| name.eq_ignore_ascii_case("stdClass"))
        })
    }

    #[must_use]
    pub fn is_generator(&self) -> bool {
        matches!(&self, TAtomic::Object(object) if {
            object.get_name().is_some_and(|name| name.eq_ignore_ascii_case("Generator"))
        })
    }

    #[must_use]
    pub fn get_generator_parameters(&self) -> Option<(TUnion, TUnion, TUnion, TUnion)> {
        let generator_parameters = 'parameters: {
            let TAtomic::Object(TObject::Named(named_object)) = self else {
                break 'parameters None;
            };

            let object_name = named_object.get_name();
            if !object_name.eq_ignore_ascii_case("Generator") {
                break 'parameters None;
            }

            let parameters = named_object.get_type_parameters().unwrap_or_default();
            match parameters.len() {
                0 => Some((get_mixed(), get_mixed(), get_mixed(), get_mixed())),
                1 => Some((get_mixed(), parameters[0].clone(), get_mixed(), get_mixed())),
                2 => Some((parameters[0].clone(), parameters[1].clone(), get_mixed(), get_mixed())),
                3 => Some((parameters[0].clone(), parameters[1].clone(), parameters[2].clone(), get_mixed())),
                4 => Some((parameters[0].clone(), parameters[1].clone(), parameters[2].clone(), parameters[3].clone())),
                _ => None,
            }
        };

        if let Some(parameters) = generator_parameters {
            return Some(parameters);
        }

        if let Some(intersection_types) = self.get_intersection_types() {
            for intersection_type in intersection_types {
                if let Some(parameters) = intersection_type.get_generator_parameters() {
                    return Some(parameters);
                }
            }
        }

        None
    }

    #[must_use]
    pub fn is_templated_as_object(&self) -> bool {
        matches!(self, TAtomic::GenericParameter(parameter) if {
            parameter.constraint.is_objecty() && parameter.intersection_types.is_none()
        })
    }

    #[inline]
    #[must_use]
    pub const fn is_list(&self) -> bool {
        matches!(self, TAtomic::Array(array) if array.is_list())
    }

    #[inline]
    #[must_use]
    pub fn is_vanilla_array(&self) -> bool {
        matches!(self, TAtomic::Array(array) if array.is_vanilla())
    }

    pub fn get_list_element_type(&self) -> Option<&TUnion> {
        match self {
            TAtomic::Array(array) => array.get_list().map(array::list::TList::get_element_type),
            _ => None,
        }
    }

    #[inline]
    pub fn is_non_empty_list(&self) -> bool {
        matches!(self, TAtomic::Array(array) if array.get_list().is_some_and(array::list::TList::is_non_empty))
    }

    #[inline]
    #[must_use]
    pub fn is_empty_array(&self) -> bool {
        matches!(self, TAtomic::Array(array) if array.is_empty())
    }

    #[inline]
    #[must_use]
    pub const fn is_keyed_array(&self) -> bool {
        matches!(self, TAtomic::Array(array) if array.is_keyed())
    }

    pub fn is_non_empty_keyed_array(&self) -> bool {
        matches!(self, TAtomic::Array(array) if array.get_keyed().is_some_and(array::keyed::TKeyedArray::is_non_empty))
    }

    #[inline]
    #[must_use]
    pub const fn is_array(&self) -> bool {
        matches!(self, TAtomic::Array(_))
    }

    #[inline]
    #[must_use]
    pub const fn is_iterable(&self) -> bool {
        matches!(self, TAtomic::Iterable(_))
    }

    #[inline]
    #[must_use]
    pub fn extends_or_implements(&self, codebase: &CodebaseMetadata, interface: &str) -> bool {
        let object = match self {
            TAtomic::Object(object) => object,
            TAtomic::GenericParameter(parameter) => {
                if let Some(intersection_types) = parameter.get_intersection_types() {
                    for intersection_type in intersection_types {
                        if intersection_type.extends_or_implements(codebase, interface) {
                            return true;
                        }
                    }
                }

                for constraint_atomic in parameter.constraint.types.as_ref() {
                    if constraint_atomic.extends_or_implements(codebase, interface) {
                        return true;
                    }
                }

                return false;
            }
            TAtomic::Iterable(iterable) => {
                if let Some(intersection_types) = iterable.get_intersection_types() {
                    for intersection_type in intersection_types {
                        if intersection_type.extends_or_implements(codebase, interface) {
                            return true;
                        }
                    }
                }

                return false;
            }
            // bottom type: subtype of all types
            TAtomic::Never => return true,
            _ => return false,
        };

        if let Some(object_name) = object.get_name() {
            if object_name == interface {
                return true;
            }

            if codebase.is_instance_of(&object_name, interface) {
                return true;
            }
        }

        if let Some(intersection_types) = object.get_intersection_types() {
            for intersection_type in intersection_types {
                if intersection_type.extends_or_implements(codebase, interface) {
                    return true;
                }
            }
        }

        false
    }

    #[inline]
    #[must_use]
    pub fn is_countable(&self, codebase: &CodebaseMetadata) -> bool {
        match self {
            TAtomic::Array(_) => true,
            _ => self.extends_or_implements(codebase, "Countable"),
        }
    }

    #[inline]
    #[must_use]
    pub fn could_be_countable(&self, codebase: &CodebaseMetadata) -> bool {
        self.is_mixed() || self.is_countable(codebase)
    }

    #[inline]
    #[must_use]
    pub fn is_traversable(&self, codebase: &CodebaseMetadata) -> bool {
        self.extends_or_implements(codebase, "Traversable")
            || self.extends_or_implements(codebase, "Iterator")
            || self.extends_or_implements(codebase, "IteratorAggregate")
            || self.extends_or_implements(codebase, "Generator")
    }

    #[inline]
    #[must_use]
    pub fn is_array_or_traversable(&self, codebase: &CodebaseMetadata) -> bool {
        match self {
            TAtomic::Iterable(_) => true,
            TAtomic::Array(_) => true,
            _ => self.is_traversable(codebase),
        }
    }

    #[inline]
    #[must_use]
    pub fn could_be_array_or_traversable(&self, codebase: &CodebaseMetadata) -> bool {
        self.is_mixed() || self.is_array_or_traversable(codebase)
    }

    #[must_use]
    pub fn is_non_empty_array(&self) -> bool {
        matches!(self, TAtomic::Array(array) if array.is_non_empty())
    }

    pub fn to_array_key(&self) -> Option<ArrayKey> {
        match self {
            TAtomic::Scalar(TScalar::Integer(int)) => int.get_literal_value().map(ArrayKey::Integer),
            TAtomic::Scalar(TScalar::String(TString { literal: Some(TStringLiteral::Value(value)), .. })) => {
                Some(ArrayKey::String(*value))
            }
            _ => None,
        }
    }

    #[must_use]
    pub fn get_array_key_type(&self) -> Option<TUnion> {
        match self {
            TAtomic::Array(array) => array.get_key_type(),
            _ => None,
        }
    }

    #[must_use]
    pub fn get_array_value_type(&self) -> Option<TUnion> {
        match self {
            TAtomic::Array(array) => array.get_value_type(),
            _ => None,
        }
    }

    #[inline]
    #[must_use]
    pub const fn is_generic_scalar(&self) -> bool {
        matches!(self, TAtomic::Scalar(TScalar::Generic))
    }

    #[inline]
    #[must_use]
    pub const fn is_some_scalar(&self) -> bool {
        matches!(self, TAtomic::Scalar(_))
    }

    #[inline]
    #[must_use]
    pub const fn is_boring_scalar(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_boring()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_any_string(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_any_string()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_string(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_string()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_string_of_literal_origin(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_literal_origin_string()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_non_empty_string(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_non_empty_string()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_known_literal_string(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_known_literal_string()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_literal_class_string(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_literal_class_string()
        )
    }

    #[must_use]
    pub const fn is_string_subtype(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_non_boring_string()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_array_key(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_array_key()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_int(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_int()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_literal_int(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_literal_int()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_float(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_float()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_literal_float(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_literal_float()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_null(&self) -> bool {
        matches!(self, TAtomic::Null)
    }

    #[inline]
    #[must_use]
    pub const fn is_void(&self) -> bool {
        matches!(self, TAtomic::Void)
    }

    #[inline]
    #[must_use]
    pub const fn is_bool(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_bool()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_general_bool(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_general_bool()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_general_string(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_general_string()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_true(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_true()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_false(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_false()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_falsable(&self) -> bool {
        matches!(
            self,
            TAtomic::Scalar(scalar) if scalar.is_false() || scalar.is_general_bool() || scalar.is_generic()
        )
    }

    #[inline]
    #[must_use]
    pub const fn is_resource(&self) -> bool {
        matches!(self, TAtomic::Resource(_))
    }

    #[inline]
    #[must_use]
    pub const fn is_closed_resource(&self) -> bool {
        matches!(self, TAtomic::Resource(resource) if resource.is_closed())
    }

    #[inline]
    #[must_use]
    pub const fn is_open_resource(&self) -> bool {
        matches!(self, TAtomic::Resource(resource) if resource.is_open())
    }

    #[inline]
    #[must_use]
    pub const fn is_literal(&self) -> bool {
        match self {
            TAtomic::Scalar(scalar) => scalar.is_literal_value(),
            TAtomic::Null => true,
            _ => false,
        }
    }

    #[inline]
    #[must_use]
    pub const fn is_callable(&self) -> bool {
        matches!(self, TAtomic::Callable(_))
    }

    #[inline]
    #[must_use]
    pub const fn is_conditional(&self) -> bool {
        matches!(self, TAtomic::Conditional(_))
    }

    #[inline]
    #[must_use]
    pub const fn is_generic_parameter(&self) -> bool {
        matches!(self, TAtomic::GenericParameter(_))
    }

    #[inline]
    #[must_use]
    pub const fn get_generic_parameter_name(&self) -> Option<Atom> {
        match self {
            TAtomic::GenericParameter(parameter) => Some(parameter.parameter_name),
            _ => None,
        }
    }

    /// Is this a type that could potentially be callable at runtime?
    #[inline]
    #[must_use]
    pub const fn can_be_callable(&self) -> bool {
        matches!(
            self,
            TAtomic::Callable(_)
                | TAtomic::Scalar(TScalar::String(_))
                | TAtomic::Array(TArray::List(_) | TArray::Keyed(_))
                | TAtomic::Object(TObject::Named(_))
        )
    }

    #[must_use]
    pub fn is_truthy(&self) -> bool {
        match &self {
            TAtomic::Scalar(scalar) => scalar.is_truthy(),
            TAtomic::Array(array) => array.is_truthy(),
            TAtomic::Mixed(mixed) => mixed.is_truthy(),
            TAtomic::Object(_) | TAtomic::Callable(_) => true,
            _ => false,
        }
    }

    #[must_use]
    pub fn is_falsy(&self) -> bool {
        match &self {
            TAtomic::Scalar(scalar) if scalar.is_falsy() => true,
            TAtomic::Array(array) if array.is_falsy() => true,
            TAtomic::Mixed(mixed) if mixed.is_falsy() => true,
            TAtomic::Null | TAtomic::Void => true,
            _ => false,
        }
    }

    #[must_use]
    pub fn is_array_accessible_with_string_key(&self) -> bool {
        matches!(self, TAtomic::Array(array) if array.is_keyed())
    }

    #[must_use]
    pub fn is_array_accessible_with_int_or_string_key(&self) -> bool {
        matches!(self, TAtomic::Array(_))
    }

    #[must_use]
    pub fn is_derived(&self) -> bool {
        matches!(self, TAtomic::Derived(_))
    }

    #[must_use]
    pub fn clone_without_intersection_types(&self) -> TAtomic {
        let mut clone = self.clone();
        match &mut clone {
            TAtomic::Object(TObject::Named(named_object)) => {
                named_object.intersection_types = None;
            }
            TAtomic::GenericParameter(parameter) => {
                parameter.intersection_types = None;
            }
            TAtomic::Iterable(iterable) => {
                iterable.intersection_types = None;
            }
            TAtomic::Reference(TReference::Symbol { intersection_types, .. }) => {
                *intersection_types = None;
            }
            _ => {}
        }

        clone
    }

    pub fn remove_placeholders(&mut self) {
        match self {
            TAtomic::Array(array) => {
                array.remove_placeholders();
            }
            TAtomic::Object(TObject::Named(named_object)) => {
                let name = named_object.get_name();
                if let Some(type_parameters) = named_object.get_type_parameters_mut() {
                    if name.eq_ignore_ascii_case("Traversable") {
                        let has_kv_pair = type_parameters.len() == 2;

                        if let Some(key_or_value_param) = type_parameters.get_mut(0)
                            && let TAtomic::Placeholder = key_or_value_param.get_single()
                        {
                            *key_or_value_param = if has_kv_pair { get_arraykey() } else { get_mixed() };
                        }

                        if has_kv_pair
                            && let Some(value_param) = type_parameters.get_mut(1)
                            && let TAtomic::Placeholder = value_param.get_single()
                        {
                            *value_param = get_mixed();
                        }
                    } else {
                        for type_param in type_parameters {
                            if let TAtomic::Placeholder = type_param.get_single() {
                                *type_param = get_mixed();
                            }
                        }
                    }
                }
            }
            _ => {}
        }
    }

    #[must_use]
    pub fn get_literal_string_value(&self) -> Option<&str> {
        match self {
            TAtomic::Scalar(scalar) => scalar.get_known_literal_string_value(),
            _ => None,
        }
    }

    #[must_use]
    pub fn get_class_string_value(&self) -> Option<Atom> {
        match self {
            TAtomic::Scalar(scalar) => scalar.get_literal_class_string_value(),
            _ => None,
        }
    }

    #[must_use]
    pub fn get_integer(&self) -> Option<TInteger> {
        match self {
            TAtomic::Scalar(TScalar::Integer(integer)) => Some(*integer),
            _ => None,
        }
    }

    #[must_use]
    pub fn get_literal_int_value(&self) -> Option<i64> {
        match self {
            TAtomic::Scalar(scalar) => scalar.get_literal_int_value(),
            _ => None,
        }
    }

    #[must_use]
    pub fn get_maximum_int_value(&self) -> Option<i64> {
        match self {
            TAtomic::Scalar(scalar) => scalar.get_maximum_int_value(),
            _ => None,
        }
    }

    #[must_use]
    pub fn get_minimum_int_value(&self) -> Option<i64> {
        match self {
            TAtomic::Scalar(scalar) => scalar.get_minimum_int_value(),
            _ => None,
        }
    }

    #[must_use]
    pub fn get_literal_float_value(&self) -> Option<f64> {
        match self {
            TAtomic::Scalar(scalar) => scalar.get_literal_float_value(),
            _ => None,
        }
    }
}

impl TType for TAtomic {
    fn get_child_nodes(&self) -> Vec<TypeRef<'_>> {
        match self {
            TAtomic::Array(ttype) => ttype.get_child_nodes(),
            TAtomic::Callable(ttype) => ttype.get_child_nodes(),
            TAtomic::Conditional(ttype) => ttype.get_child_nodes(),
            TAtomic::Derived(ttype) => ttype.get_child_nodes(),
            TAtomic::GenericParameter(ttype) => ttype.get_child_nodes(),
            TAtomic::Iterable(ttype) => ttype.get_child_nodes(),
            TAtomic::Mixed(ttype) => ttype.get_child_nodes(),
            TAtomic::Object(ttype) => ttype.get_child_nodes(),
            TAtomic::Reference(ttype) => ttype.get_child_nodes(),
            TAtomic::Resource(ttype) => ttype.get_child_nodes(),
            TAtomic::Scalar(ttype) => ttype.get_child_nodes(),
            TAtomic::Alias(ttype) => ttype.get_child_nodes(),
            _ => vec![],
        }
    }

    fn can_be_intersected(&self) -> bool {
        match self {
            TAtomic::Object(ttype) => ttype.can_be_intersected(),
            TAtomic::Reference(ttype) => ttype.can_be_intersected(),
            TAtomic::GenericParameter(ttype) => ttype.can_be_intersected(),
            TAtomic::Iterable(ttype) => ttype.can_be_intersected(),
            TAtomic::Array(ttype) => ttype.can_be_intersected(),
            TAtomic::Callable(ttype) => ttype.can_be_intersected(),
            TAtomic::Mixed(ttype) => ttype.can_be_intersected(),
            TAtomic::Scalar(ttype) => ttype.can_be_intersected(),
            TAtomic::Resource(ttype) => ttype.can_be_intersected(),
            TAtomic::Conditional(ttype) => ttype.can_be_intersected(),
            TAtomic::Derived(ttype) => ttype.can_be_intersected(),
            TAtomic::Alias(ttype) => ttype.can_be_intersected(),
            _ => false,
        }
    }

    fn get_intersection_types(&self) -> Option<&[TAtomic]> {
        match self {
            TAtomic::Object(ttype) => ttype.get_intersection_types(),
            TAtomic::Reference(ttype) => ttype.get_intersection_types(),
            TAtomic::GenericParameter(ttype) => ttype.get_intersection_types(),
            TAtomic::Iterable(ttype) => ttype.get_intersection_types(),
            TAtomic::Array(ttype) => ttype.get_intersection_types(),
            TAtomic::Callable(ttype) => ttype.get_intersection_types(),
            TAtomic::Mixed(ttype) => ttype.get_intersection_types(),
            TAtomic::Scalar(ttype) => ttype.get_intersection_types(),
            TAtomic::Resource(ttype) => ttype.get_intersection_types(),
            TAtomic::Conditional(ttype) => ttype.get_intersection_types(),
            TAtomic::Derived(ttype) => ttype.get_intersection_types(),
            TAtomic::Alias(ttype) => ttype.get_intersection_types(),
            _ => None,
        }
    }

    fn get_intersection_types_mut(&mut self) -> Option<&mut Vec<TAtomic>> {
        match self {
            TAtomic::Object(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::Reference(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::GenericParameter(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::Iterable(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::Array(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::Callable(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::Mixed(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::Scalar(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::Resource(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::Conditional(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::Derived(ttype) => ttype.get_intersection_types_mut(),
            TAtomic::Alias(ttype) => ttype.get_intersection_types_mut(),
            _ => None,
        }
    }

    fn has_intersection_types(&self) -> bool {
        match self {
            TAtomic::Object(ttype) => ttype.has_intersection_types(),
            TAtomic::Reference(ttype) => ttype.has_intersection_types(),
            TAtomic::GenericParameter(ttype) => ttype.has_intersection_types(),
            TAtomic::Iterable(ttype) => ttype.has_intersection_types(),
            TAtomic::Array(ttype) => ttype.has_intersection_types(),
            TAtomic::Callable(ttype) => ttype.has_intersection_types(),
            TAtomic::Mixed(ttype) => ttype.has_intersection_types(),
            TAtomic::Scalar(ttype) => ttype.has_intersection_types(),
            TAtomic::Resource(ttype) => ttype.has_intersection_types(),
            TAtomic::Conditional(ttype) => ttype.has_intersection_types(),
            TAtomic::Derived(ttype) => ttype.has_intersection_types(),
            TAtomic::Alias(ttype) => ttype.has_intersection_types(),
            _ => false,
        }
    }

    fn add_intersection_type(&mut self, intersection_type: TAtomic) -> bool {
        match self {
            TAtomic::Object(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::Reference(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::GenericParameter(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::Iterable(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::Array(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::Callable(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::Mixed(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::Scalar(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::Resource(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::Conditional(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::Derived(ttype) => ttype.add_intersection_type(intersection_type),
            TAtomic::Alias(ttype) => ttype.add_intersection_type(intersection_type),
            _ => false,
        }
    }

    fn needs_population(&self) -> bool {
        if let Some(intersection) = self.get_intersection_types() {
            for intersection_type in intersection {
                if intersection_type.needs_population() {
                    return true;
                }
            }
        }

        match self {
            TAtomic::Object(ttype) => ttype.needs_population(),
            TAtomic::Reference(ttype) => ttype.needs_population(),
            TAtomic::GenericParameter(ttype) => ttype.needs_population(),
            TAtomic::Iterable(ttype) => ttype.needs_population(),
            TAtomic::Array(ttype) => ttype.needs_population(),
            TAtomic::Callable(ttype) => ttype.needs_population(),
            TAtomic::Conditional(ttype) => ttype.needs_population(),
            TAtomic::Derived(ttype) => ttype.needs_population(),
            TAtomic::Scalar(ttype) => ttype.needs_population(),
            TAtomic::Mixed(ttype) => ttype.needs_population(),
            TAtomic::Resource(ttype) => ttype.needs_population(),
            TAtomic::Alias(ttype) => ttype.needs_population(),
            _ => false,
        }
    }

    fn is_expandable(&self) -> bool {
        if let Some(intersection) = self.get_intersection_types() {
            for intersection_type in intersection {
                if intersection_type.is_expandable() {
                    return true;
                }
            }
        }

        match self {
            TAtomic::Object(ttype) => ttype.is_expandable(),
            TAtomic::Reference(ttype) => ttype.is_expandable(),
            TAtomic::GenericParameter(ttype) => ttype.is_expandable(),
            TAtomic::Iterable(ttype) => ttype.is_expandable(),
            TAtomic::Array(ttype) => ttype.is_expandable(),
            TAtomic::Callable(ttype) => ttype.is_expandable(),
            TAtomic::Conditional(ttype) => ttype.is_expandable(),
            TAtomic::Derived(ttype) => ttype.is_expandable(),
            TAtomic::Scalar(ttype) => ttype.is_expandable(),
            TAtomic::Mixed(ttype) => ttype.is_expandable(),
            TAtomic::Resource(ttype) => ttype.is_expandable(),
            TAtomic::Alias(ttype) => ttype.is_expandable(),
            _ => false,
        }
    }

    fn is_complex(&self) -> bool {
        if let Some(intersection) = self.get_intersection_types() {
            for intersection_type in intersection {
                if intersection_type.is_complex() {
                    return true;
                }
            }
        }

        match self {
            TAtomic::Object(ttype) => ttype.is_complex(),
            TAtomic::Reference(ttype) => ttype.is_complex(),
            TAtomic::GenericParameter(ttype) => ttype.is_complex(),
            TAtomic::Iterable(ttype) => ttype.is_complex(),
            TAtomic::Array(ttype) => ttype.is_complex(),
            TAtomic::Callable(ttype) => ttype.is_complex(),
            TAtomic::Conditional(ttype) => ttype.is_complex(),
            TAtomic::Derived(ttype) => ttype.is_complex(),
            TAtomic::Scalar(ttype) => ttype.is_complex(),
            TAtomic::Mixed(ttype) => ttype.is_complex(),
            TAtomic::Resource(ttype) => ttype.is_complex(),
            TAtomic::Alias(ttype) => ttype.is_complex(),
            _ => false,
        }
    }

    fn get_id(&self) -> Atom {
        match self {
            TAtomic::Scalar(scalar) => scalar.get_id(),
            TAtomic::Array(array) => array.get_id(),
            TAtomic::Callable(callable) => callable.get_id(),
            TAtomic::Object(object) => object.get_id(),
            TAtomic::Reference(reference) => reference.get_id(),
            TAtomic::Mixed(mixed) => mixed.get_id(),
            TAtomic::Resource(resource) => resource.get_id(),
            TAtomic::Iterable(iterable) => iterable.get_id(),
            TAtomic::GenericParameter(parameter) => parameter.get_id(),
            TAtomic::Conditional(conditional) => conditional.get_id(),
            TAtomic::Alias(alias) => alias.get_id(),
            TAtomic::Derived(derived) => derived.get_id(),
            TAtomic::Variable(name) => *name,
            TAtomic::Never => atom("never"),
            TAtomic::Null => atom("null"),
            TAtomic::Void => atom("void"),
            TAtomic::Placeholder => atom("_"),
        }
    }

    fn get_pretty_id_with_indent(&self, indent: usize) -> Atom {
        match self {
            TAtomic::Scalar(scalar) => scalar.get_pretty_id_with_indent(indent),
            TAtomic::Array(array) => array.get_pretty_id_with_indent(indent),
            TAtomic::Callable(callable) => callable.get_pretty_id_with_indent(indent),
            TAtomic::Object(object) => object.get_pretty_id_with_indent(indent),
            TAtomic::Reference(reference) => reference.get_pretty_id_with_indent(indent),
            TAtomic::Mixed(mixed) => mixed.get_pretty_id_with_indent(indent),
            TAtomic::Resource(resource) => resource.get_pretty_id_with_indent(indent),
            TAtomic::Iterable(iterable) => iterable.get_pretty_id_with_indent(indent),
            TAtomic::GenericParameter(parameter) => parameter.get_pretty_id_with_indent(indent),
            TAtomic::Conditional(conditional) => conditional.get_pretty_id_with_indent(indent),
            TAtomic::Alias(alias) => alias.get_pretty_id_with_indent(indent),
            TAtomic::Derived(derived) => derived.get_pretty_id_with_indent(indent),
            TAtomic::Variable(name) => *name,
            TAtomic::Never => atom("never"),
            TAtomic::Null => atom("null"),
            TAtomic::Void => atom("void"),
            TAtomic::Placeholder => atom("_"),
        }
    }
}

pub fn populate_atomic_type(
    unpopulated_atomic: &mut TAtomic,
    codebase_symbols: &Symbols,
    reference_source: Option<&ReferenceSource>,
    symbol_references: &mut SymbolReferences,
    force: bool,
) {
    match unpopulated_atomic {
        TAtomic::Array(array) => match array {
            TArray::List(list) => {
                populate_union_type(
                    Arc::make_mut(&mut list.element_type),
                    codebase_symbols,
                    reference_source,
                    symbol_references,
                    force,
                );

                if let Some(known_elements) = list.known_elements.as_mut() {
                    for (_, element_type) in known_elements.values_mut() {
                        populate_union_type(element_type, codebase_symbols, reference_source, symbol_references, force);
                    }
                }
            }
            TArray::Keyed(keyed_array) => {
                if let Some(known_items) = keyed_array.known_items.as_mut() {
                    for (_, item_type) in known_items.values_mut() {
                        populate_union_type(item_type, codebase_symbols, reference_source, symbol_references, force);
                    }
                }

                if let Some(parameters) = &mut keyed_array.parameters {
                    populate_union_type(
                        Arc::make_mut(&mut parameters.0),
                        codebase_symbols,
                        reference_source,
                        symbol_references,
                        force,
                    );

                    populate_union_type(
                        Arc::make_mut(&mut parameters.1),
                        codebase_symbols,
                        reference_source,
                        symbol_references,
                        force,
                    );
                }
            }
        },
        TAtomic::Callable(TCallable::Signature(signature)) => {
            if let Some(return_type) = signature.get_return_type_mut() {
                populate_union_type(return_type, codebase_symbols, reference_source, symbol_references, force);
            }

            for param in signature.get_parameters_mut() {
                if let Some(param_type) = param.get_type_signature_mut() {
                    populate_union_type(param_type, codebase_symbols, reference_source, symbol_references, force);
                }
            }
        }
        TAtomic::Object(TObject::Named(named_object)) => {
            let name = named_object.get_name();

            if !named_object.is_intersection()
                && !named_object.has_type_parameters()
                && codebase_symbols.contains_enum(name)
            {
                *unpopulated_atomic = TAtomic::Object(TObject::new_enum(name));
            } else {
                if let Some(type_parameters) = named_object.get_type_parameters_mut() {
                    for parameter in type_parameters {
                        populate_union_type(parameter, codebase_symbols, reference_source, symbol_references, force);
                    }
                }

                if let Some(intersection_types) = named_object.get_intersection_types_mut() {
                    for intersection_type in intersection_types {
                        populate_atomic_type(
                            intersection_type,
                            codebase_symbols,
                            reference_source,
                            symbol_references,
                            force,
                        );
                    }
                }
            }

            if let Some(reference_source) = reference_source {
                match reference_source {
                    ReferenceSource::Symbol(in_signature, a) => {
                        symbol_references.add_symbol_reference_to_symbol(*a, name, *in_signature);
                    }
                    ReferenceSource::ClassLikeMember(in_signature, a, b) => {
                        symbol_references.add_class_member_reference_to_symbol((*a, *b), name, *in_signature);
                    }
                }
            }
        }
        TAtomic::Object(TObject::WithProperties(keyed_array)) => {
            for (_, item_type) in keyed_array.known_properties.values_mut() {
                populate_union_type(item_type, codebase_symbols, reference_source, symbol_references, force);
            }
        }
        TAtomic::Iterable(iterable) => {
            populate_union_type(
                iterable.get_key_type_mut(),
                codebase_symbols,
                reference_source,
                symbol_references,
                force,
            );

            populate_union_type(
                iterable.get_value_type_mut(),
                codebase_symbols,
                reference_source,
                symbol_references,
                force,
            );

            if let Some(intersection_types) = iterable.get_intersection_types_mut() {
                for intersection_type in intersection_types {
                    populate_atomic_type(
                        intersection_type,
                        codebase_symbols,
                        reference_source,
                        symbol_references,
                        force,
                    );
                }
            }
        }
        TAtomic::Reference(reference) => match reference {
            TReference::Symbol { name, parameters, intersection_types } => {
                if let Some(parameters) = parameters {
                    for parameter in parameters {
                        populate_union_type(parameter, codebase_symbols, reference_source, symbol_references, force);
                    }
                }

                if let Some(reference_source) = reference_source {
                    match reference_source {
                        ReferenceSource::Symbol(in_signature, a) => {
                            symbol_references.add_symbol_reference_to_symbol(*a, *name, *in_signature);
                        }
                        ReferenceSource::ClassLikeMember(in_signature, a, b) => {
                            symbol_references.add_class_member_reference_to_symbol((*a, *b), *name, *in_signature);
                        }
                    }
                }

                if let Some(symbol_kind) = codebase_symbols.get_kind(ascii_lowercase_atom(name)) {
                    if symbol_kind == SymbolKind::Enum {
                        *unpopulated_atomic = TAtomic::Object(TObject::new_enum(*name));
                    } else {
                        let intersection_types = intersection_types.take().map(|intersection_types| {
                            intersection_types
                                .into_iter()
                                .map(|mut intersection_type| {
                                    populate_atomic_type(
                                        &mut intersection_type,
                                        codebase_symbols,
                                        reference_source,
                                        symbol_references,
                                        force,
                                    );

                                    intersection_type
                                })
                                .collect::<Vec<_>>()
                        });

                        let mut named_object = TNamedObject::new(*name).with_type_parameters(parameters.clone());
                        if let Some(intersection_types) = intersection_types {
                            for intersection_type in intersection_types {
                                named_object.add_intersection_type(intersection_type);
                            }
                        }

                        *unpopulated_atomic = TAtomic::Object(TObject::Named(named_object));
                    }
                }
            }
            TReference::Member { class_like_name, member_selector } => {
                if let TReferenceMemberSelector::Identifier(member_name) = member_selector
                    && let Some(reference_source) = reference_source
                {
                    match reference_source {
                        ReferenceSource::Symbol(in_signature, a) => symbol_references
                            .add_symbol_reference_to_class_member(*a, (*class_like_name, *member_name), *in_signature),
                        ReferenceSource::ClassLikeMember(in_signature, a, b) => symbol_references
                            .add_class_member_reference_to_class_member(
                                (*a, *b),
                                (*class_like_name, *member_name),
                                *in_signature,
                            ),
                    }
                }
            }
        },
        TAtomic::GenericParameter(TGenericParameter { constraint, intersection_types, .. }) => {
            populate_union_type(
                Arc::make_mut(constraint),
                codebase_symbols,
                reference_source,
                symbol_references,
                force,
            );

            if let Some(intersection_types) = intersection_types.as_mut() {
                for intersection_type in intersection_types {
                    populate_atomic_type(
                        intersection_type,
                        codebase_symbols,
                        reference_source,
                        symbol_references,
                        force,
                    );
                }
            }
        }
        TAtomic::Scalar(TScalar::ClassLikeString(
            TClassLikeString::OfType { constraint, .. } | TClassLikeString::Generic { constraint, .. },
        )) => {
            populate_atomic_type(
                Arc::make_mut(constraint),
                codebase_symbols,
                reference_source,
                symbol_references,
                force,
            );
        }
        TAtomic::Conditional(conditional) => {
            populate_union_type(
                conditional.get_subject_mut(),
                codebase_symbols,
                reference_source,
                symbol_references,
                force,
            );

            populate_union_type(
                conditional.get_target_mut(),
                codebase_symbols,
                reference_source,
                symbol_references,
                force,
            );

            populate_union_type(
                conditional.get_then_mut(),
                codebase_symbols,
                reference_source,
                symbol_references,
                force,
            );

            populate_union_type(
                conditional.get_otherwise_mut(),
                codebase_symbols,
                reference_source,
                symbol_references,
                force,
            );
        }
        TAtomic::Derived(derived) => match derived {
            TDerived::IntMask(int_mask) => {
                for value in int_mask.get_values_mut() {
                    populate_union_type(value, codebase_symbols, reference_source, symbol_references, force);
                }
            }
            TDerived::IndexAccess(index_access) => {
                populate_union_type(
                    index_access.get_target_type_mut(),
                    codebase_symbols,
                    reference_source,
                    symbol_references,
                    force,
                );
                populate_union_type(
                    index_access.get_index_type_mut(),
                    codebase_symbols,
                    reference_source,
                    symbol_references,
                    force,
                );
            }
            _ => {
                if let Some(target) = derived.get_target_type_mut() {
                    populate_union_type(target, codebase_symbols, reference_source, symbol_references, force);
                }
            }
        },
        _ => {}
    }
}