(Defun foo (vector)
  (declare (type (array * (10 15)) vector))
  (aref vector 16 23))

; file: /tmp/slimeyFVfrF
; in: DEFUN FOO
;     (AREF VECTOR 16 23)
; --> LET* TRULY-THE + TRULY-THE * SB-KERNEL:CHECK-BOUND SB-C::BOUND-CAST 
; ==>
;   (SB-KERNEL:%CHECK-BOUND ARRAY 10 SB-INT:INDEX)
; 
; caught WARNING:
;   Derived type (INTEGER 16 16) is not a suitable index for (ARRAY * (10 15)).
; 
; compilation unit finished
;   caught 1 WARNING condition