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