Function generate_function

src/codegen/codegen.rs:115–161

(
	messages: &mut Messages<'a>,
	lang_items: &LangItems,
	type_store: &mut TypeStore<'a>,
	function_store: &FunctionStore<'a>,
	generator: &mut G,
	shape: ReadGuard<FunctionShape<'a>>,
	function_id: F

}

pub fn generate_function<'a, G: Generator>(
	messages: &mut Messages<'a>,
	lang_items: &LangItems,
	type_store: &mut TypeStore<'a>,
	function_store: &FunctionStore<'a>,
	generator: &mut G,
	shape: ReadGuard<FunctionShape<'a>>,
	function_id: FunctionId,
) {
	if shape.trait_method_marker.is_some() {
		return;
	}

	let specialization = &shape.specializations[function_id.specialization_index];

	for &type_argument in &specialization.type_arguments.ids {
		let entry = type_store.type_entries.get(type_argument.item);
		if entry.generic_poisoned {
			return;
		}
	}

	generator.start_function(type_store, specialization, function_id);

	let module_path = shape.module_path;
	let type_arguments = specialization.type_arguments.clone();
	let Some(block) = shape.block.clone() else {
		unreachable!("{:?}", *shape);
	};

	drop(shape);

	let mut context = Context {
		messages,
		lang_items,
		type_store,
		function_store,
		module_path,
		function_type_arguments: &type_arguments,
		function_id,
		defer_stack: Vec::new(),
		loop_stack: Vec::new(),
		yield_target_stack: Vec::new(),
	};

	generate_block(&mut context, generator, block.as_ref());
}

pub fn generate_block<'a, 'b, G: Generator>(
	context: &mut Context<'a, 'b>,