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