Function process_checker

fn process_checker<'tcx>(
    checker: &dyn Checker<'tcx>,
    args: &Box<[Spanned<Operand<'_>>]>,
    abstate: &PathInfo<'tcx>,
    func_name: &str,
    span: Span,
) -> CheckResult