pub fn check_lifetimes_with_annotations(
program: &IrProgram,
header_cache: &HeaderCache,
safety_context: &SafetyContext,
) -> Result<Vec<String>, String>pub fn check_lifetimes_with_annotations(
program: &IrProgram,
header_cache: &HeaderCache,
safety_context: &SafetyContext,
) -> Result<Vec<String>, String>