Merge pull request #3769 from evincarofautumn/fix-verify-before-allocs

[mono.git] / mcs / errors / errors.txt

diff --git a/mcs/errors/errors.txt b/mcs/errors/errors.txt
index 50a5199886921708ad6caffeacd0425d89b8d363..52d90e849111888a25a9506728eb506857b4279e 100644 (file)
--- a/mcs/errors/errors.txt
+++ b/mcs/errors/errors.txt
@@ -95,10 +95,11 @@ numbers, as they look nicer on the debugging output.
 
 -33     Contravariant type parameters cannot be the return type.
 
--34     Contravariant type parameters cannot be used as type arguments.
+-34     Contravariant type parameters can only be used as type arguments in
+       contravariant positions.
 
--35     Covariant type parameters cannot be used as type arguments except
-        for inherited interfaces.
+-35     Covariant type parameters can only be used as type arguments in
+       covariant positions.
 
 -36     Variant type parameters can only be used with interface and
         delegate types.
@@ -107,8 +108,6 @@ numbers, as they look nicer on the debugging output.
 
 -38     Covariant type parameters cannot be used as method parameters.
 
--39     Contravariant type parameters cannot be used in interface inheritance.
-
 ----------
 
 Errors that we have allocated that will have corresponding errors in