-
Andrei Paskevich authored
If the function is defined, the correct opacity for fresh type variables in the result will be computed automatically. If the function is abstract, then every fresh type variable is opaque by default, as no information leak is possible anyway.
dc973a45