Fix 2 occurrences of explicit-cond-else-void

Add an explicit `[else (void)]` clause to make the default behavior clear.

Author: resyntax-ci[bot]

typed-racket-lib/typed-racket/typecheck/check-below.rkt

@@ -129,19 +129,16 @@
     [((tc-result1: t1 p1 o1) (tc-result1: t2 p2 o2))
      (define (perform-check!)
        (cond
-         [(not (subtype t1 t2 o1))
-          (expected-but-got t2 t1)]
-         [(and (not (prop-set-better? p1 p2))
-               (object-better? o1 o2))
+         [(not (subtype t1 t2 o1)) (expected-but-got t2 t1)]
+         [(and (not (prop-set-better? p1 p2)) (object-better? o1 o2))
           (type-mismatch p2 p1 "mismatch in proposition")]
-         [(and (prop-set-better? p1 p2)
-               (not (object-better? o1 o2)))
+         [(and (prop-set-better? p1 p2) (not (object-better? o1 o2)))
           (type-mismatch (print-object o2) (print-object o1) "mismatch in object")]
-         [(and (not (prop-set-better? p1 p2))
-               (not (object-better? o1 o2)))
+         [(and (not (prop-set-better? p1 p2)) (not (object-better? o1 o2)))
           (type-mismatch (format "`~a' and `~a'" p2 (print-object o2))
                          (format "`~a' and `~a'" p1 (print-object o1))
-                         "mismatch in proposition and object")])
+                         "mismatch in proposition and object")]
+         [else (void)])
        (ret (upgrade-trusted-rng t1 t2) (fix-props p2 p1) (fix-object o2 o1)))
      (cond
        [(with-refinements?)

typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt

@@ -42,32 +42,42 @@
 
      (when check?
        (define extra-arg-count (- (length t-a) (length dom)))
-       (cond [(and (not rst) (not (eqv? 0 extra-arg-count)))
-              (tc-error/fields "could not apply function"
-                               #:more "wrong number of arguments provided"
-                               "expected" (length dom)
-                               "given" (length t-a)
-                               #:delayed? #t)]
-             [(and rst (negative? extra-arg-count))
-              (tc-error/fields "could not apply function"
-                               #:more "wrong number of arguments provided"
-                               "expected at least" (length dom)
-                               "given" (length t-a)
-                               #:delayed? #t)]
-             [(and (Rest? rst)
-                   (positive? extra-arg-count)
-                   (not (zero? (remainder extra-arg-count (length (Rest-tys rst))))))
-              (cond
-                [(eqv? 2 (length (Rest-tys rst)))
-                 (tc-error/fields "could not apply function"
-                                  #:more "wrong number of rest arguments provided"
-                                  "expected an even number, given" extra-arg-count
-                                  #:delayed? #t)]
-                [else (tc-error/fields "could not apply function"
-                                       #:more "wrong number of rest arguments provided"
-                                       "expected a multiple of " (length (Rest-tys rst))
-                                       "given" extra-arg-count
-                                       #:delayed? #t)])])
+       (cond
+         [(and (not rst) (not (eqv? 0 extra-arg-count)))
+          (tc-error/fields "could not apply function"
+                           #:more "wrong number of arguments provided"
+                           "expected"
+                           (length dom)
+                           "given"
+                           (length t-a)
+                           #:delayed? #t)]
+         [(and rst (negative? extra-arg-count))
+          (tc-error/fields "could not apply function"
+                           #:more "wrong number of arguments provided"
+                           "expected at least"
+                           (length dom)
+                           "given"
+                           (length t-a)
+                           #:delayed? #t)]
+         [(and (Rest? rst)
+               (positive? extra-arg-count)
+               (not (zero? (remainder extra-arg-count (length (Rest-tys rst))))))
+          (cond
+            [(eqv? 2 (length (Rest-tys rst)))
+             (tc-error/fields "could not apply function"
+                              #:more "wrong number of rest arguments provided"
+                              "expected an even number, given"
+                              extra-arg-count
+                              #:delayed? #t)]
+            [else
+             (tc-error/fields "could not apply function"
+                              #:more "wrong number of rest arguments provided"
+                              "expected a multiple of "
+                              (length (Rest-tys rst))
+                              "given"
+                              extra-arg-count
+                              #:delayed? #t)])]
+         [else (void)])
        (match rst
          [(Rest: rst-ts)
           (for ([a (in-syntax args-stx)]