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