id	Summary	Status	Keywords	Owner	Type	Priority
1446	Implement contravariant type checking for procedure types	new	contravariant types		enhancement	not urgent at all