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