vectorof

book.tex

@@ -17898,7 +17898,6 @@ class TypeCheckLany(TypeCheckLlambda):
   (match ty
     [(or `Integer `Boolean `Void) #t]
     [`(Vector ,ts ...) (for/and ([t ts]) (eq? t 'Any))]
-    ['(Vectorof Any) #t]
     [`(,ts ... -> ,rt)
       (and (eq? rt 'Any) (for/and ([t ts]) (eq? t 'Any)))]
     [else #f]))