use tsz_solver::{TypeDatabase, TypeId};
pub(crate) use super::common::{is_type_parameter_like, union_members};
pub(crate) fn types_are_comparable(db: &dyn TypeDatabase, source: TypeId, target: TypeId) -> bool {
tsz_solver::type_queries::types_are_comparable(db, source, target)
}
pub(crate) fn is_object_like_type(db: &dyn TypeDatabase, type_id: TypeId) -> bool {
tsz_solver::type_queries::is_object_like_type(db, type_id)
}