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