id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
873	allow user types to specify argument-type enforcement	felix winkelmann	felix winkelmann	"A procedure type of the form `(... ->! ...)` could mark a procedure as enforcing.
"	enhancement	closed	not urgent at all		scrutinizer	4.7.x	duplicate