Skip to content

Do not enlarge types of functions defined by terms when unnecessary #1142

Do not enlarge types of functions defined by terms when unnecessary

Do not enlarge types of functions defined by terms when unnecessary #1142

Annotations

1 error and 3 warnings

This job failed