Function pointer_arithmetic_obligation 

fn pointer_arithmetic_obligation<'tcx>(
    checker: &SmtChecker<'tcx>,
    checkpoint: &Checkpoint<'tcx>,
    required_ty: Ty<'tcx>,
    count: SmtTerm,
) -> Option<SmtObligation>