use sway_types::Span;

use crate::{declaration_engine::DeclarationId, language::CallPath, type_system::*};

#[derive(Clone, Debug, PartialEq, Eq)]
pub struct TyImplTrait {
    pub impl_type_parameters: Vec<TypeParameter>,
    pub trait_name: CallPath,
    pub trait_type_parameters: Vec<TypeParameter>,
    pub methods: Vec<DeclarationId>,
    pub implementing_for_type_id: TypeId,
    pub type_implementing_for_span: Span,
    pub(crate) span: Span,
}

impl CopyTypes for TyImplTrait {
    fn copy_types_inner(&mut self, type_mapping: &TypeMapping) {
        self.impl_type_parameters
            .iter_mut()
            .for_each(|x| x.copy_types(type_mapping));
        self.trait_type_parameters
            .iter_mut()
            .for_each(|x| x.copy_types(type_mapping));
        self.implementing_for_type_id.copy_types(type_mapping);
        self.methods
            .iter_mut()
            .for_each(|x| x.copy_types(type_mapping));
    }
}