Add test.
This commit is contained in:
parent
cdcf8f6432
commit
326e3ba33f
2
collects/tests/typed-racket/succeed/pr13185.rkt
Normal file
2
collects/tests/typed-racket/succeed/pr13185.rkt
Normal file
|
@ -0,0 +1,2 @@
|
||||||
|
#lang typed/racket
|
||||||
|
(for/vector: : (Vectorof Natural) ([i : Natural (in-range 20)]) i)
|
Loading…
Reference in New Issue
Block a user