id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
952	scrutiny for list-of type wrong when matched with pair types	sjamaan	felix winkelmann	"See the program in #948; this particular case was fixed, but changing {{{list}}} to {{{cons}}} will cause breakage:

{{{
#!scm
(: apply1 (forall ((a number) b) (procedure ((procedure (#!rest a) b) (list-of a)) b)))

(define (apply1 f args)
  (apply f args))

(apply1 + (cons 'a (cons 2 '())))  ;;; Should give a warning, but doesn't
}}}"	defect	closed	minor	someday	scrutinizer	4.8.x	fixed