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