id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
809	allow to specify argument-type enforcement in type signatures	felix winkelmann	felix winkelmann	"For example: `T1 ... ->! T2 ...` could specify a procedure type that is ""enforcing""."	enhancement	assigned	not urgent at all	someday	compiler	4.7.x		scrutinizer		medium