-
Martin Clochard authored
Since this might break some cases relying on opaqueness of type variables occuring only in return types, opaqueness annotations are now allowed there as well.
c35cfb8c
Since this might break some cases relying on opaqueness of type variables occuring only in return types, opaqueness annotations are now allowed there as well.