id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
868	scrutinizer makes too strong assumptions about mutable data	felix winkelmann	felix winkelmann	"Like this:

{{{
(define foo (make-vector 1 #f))
(vector-set! foo 0 'sym)
(print (get (vector-ref foo 0) 'a))
}}}

When compiled in block mode, we get:

{{{
Warning: at toplevel:
  (x.scm:5) in procedure call to `get', expected argument #1 of type `symbol', but was given an argument of type `boolean'
}}}
"	defect	closed	critical	4.9.0	scrutinizer	4.7.x	fixed