Function generate_string_to_format_string

src/codegen/codegen.rs:1172–1204

(
	context: &mut Context<'a, 'b>,
	generator: &mut G,
	conversion: &'b StringToFormatString<'a>,
	debug_location: DebugLocation,
)

		specialization_index: enum_specialization_index,
		..
	} = entry.kind
	else {
		unreachable!("{:?}", entry.kind);
	};

	Some(generator.generate_check_is(context, value, enum_shape_index, enum_specialization_index, &check_is, debug_location))
}

fn generate_verify_as<'a, 'b, G: Generator>(
	context: &mut Context<'a, 'b>,
	generator: &mut G,
	verify_as: &'b VerifyAs<'a>,
	debug_location: DebugLocation,
) -> Option<G::Binding> {
	// Must produce a binding as an enum definitely at least has the tag
	let left = generate_expression(context, generator, &verify_as.left).unwrap();

	let left_type_id = context.specialize_type_id(verify_as.left.type_id);
	let entry = context.type_store.type_entries.get(left_type_id);
	let TypeEntryKind::UserType {
		shape_index: enum_shape_index,
		specialization_index: enum_specialization_index,
		..
	} = entry.kind
	else {
		unreachable!("{:?}", entry.kind);
	};

	let start_index = context.defer_stack.len();
	context.yield_target_stack.push(DeferMarker { start_index });

	let result =
		generator.generate_verify_as(context, left, enum_shape_index, enum_specialization_index, &verify_as, debug_location);

	context.yield_target_stack.pop();
	result