use crate::{engine_threading::Engines, language::ty};
use super::DeclMapping;
pub trait ReplaceDecls {
fn replace_decls_inner(&mut self, decl_mapping: &DeclMapping, engines: Engines<'_>);
fn replace_decls(&mut self, decl_mapping: &DeclMapping, engines: Engines<'_>) {
if !decl_mapping.is_empty() {
self.replace_decls_inner(decl_mapping, engines);
}
}
}
pub(crate) trait ReplaceFunctionImplementingType {
fn replace_implementing_type(&mut self, engines: Engines<'_>, implementing_type: ty::TyDecl);
}