add type for unsafe-bytes-copy!

Author: mflatt

typed-racket-lib/info.rkt

@@ -2,7 +2,7 @@
 
 (define collection 'multi)
 
-(define deps '(("base" #:version "7.3.0.11")
+(define deps '(("base" #:version "7.5.0.15")
                "source-syntax"
                "pconvert-lib"
                "compatibility-lib" ;; to assign types

typed-racket-lib/typed-racket/base-env/base-env-indexing-abs.rkt

@@ -300,6 +300,7 @@
    [unsafe-bytes-set! (-> -Bytes index-type index-type -Void)]
    [subbytes (cl-> [(-Bytes index-type) -Bytes] [(-Bytes index-type index-type) -Bytes])]
    [bytes-copy! (-Bytes index-type -Bytes [index-type index-type] . ->opt . -Void)]
+   [unsafe-bytes-copy! (-Bytes index-type -Bytes [index-type index-type] . ->opt . -Void)]
    [bytes-fill! (-> -Bytes index-type -Void)]
    [bytes->string/utf-8 (-Bytes [(Un (-val #f) -Char) index-type index-type] . ->opt . -String)]
    [bytes->string/locale (-Bytes [(Un (-val #f) -Char) index-type index-type] . ->opt . -String)]