-
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
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
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.