Function record_required 

fn record_required<T, E>(
    checks: &mut Vec<CompatibilityCheck>,
    name: &str,
    result: Result<T, E>,
)