1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

//! Generics = dependent function types

pub mod generic_type_arguments;
pub mod generic_type_parameters;
pub mod specialized_generic_structure;

use std::collections::HashMap;

pub(crate) use generic_type_arguments::TypeArguments;
pub use generic_type_parameters::*;
pub use specialized_generic_structure::*;

use crate::{context::FunctionId, structures::functions::FunctionType, CheckingData};

pub(crate) struct UnmatchedGenericsError;

/// Checking and seeding
///
/// TODO bad place
pub(crate) struct SeedingContext {
	pub type_arguments: TypeArguments,
	/// For functions that might be called. Ones where they aren't called end being specialized
	/// and end up on environment
	pub locally_held_functions: HashMap<FunctionId, FunctionType>,
}

/// This takes some `self` and returns `TResult`
/// TODO new name
///
/// TODO mostly replace by specialize
pub(crate) trait ResolveGenerics<TResult = Self>: Sized {
	/// The doesn't need the full [CheckingData], synthesis should be handled in the pairing of
	/// generics but [Type::get_property] and stuff requires it. Only [CheckingData::memory] is required
	fn resolve_generics<T: crate::FSResolver>(
		self,
		type_arguments: &TypeArguments,
		checking_data: &mut CheckingData<T>,
	) -> TResult;
}