id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,difficulty 1258,"At higher optimization levels, some scrutiny warnings disappear",sjamaan,,"{{{ #!scheme (use data-structures) (print (sort '(x y z) (lambda (a b) (> a b)))) }}} When compiled with {{{-O2}}} or lower, this gives the warning: {{{ Warning: at toplevel: (/tmp/test.scm:5) in procedure call to `sort', expected argument #2 of type `(procedure (symbol symbol) *)' but was given an argument of type `(procedure (number number) boolean)' }}} When compiled with {{{-O3}}} or higher, no output is given. The warning is always shown in master, as far as I can tell.",defect,closed,minor,5.2,scrutinizer,5.0.0,fixed,,,hard