[verifier]A type constraint must be visible to the generic type definition. Fixes...

diff --git a/mono/metadata/verify.c b/mono/metadata/verify.c
index f32d60b9935778b7b393b4dafeaea16bbf1517af..f1f9a1f4a7325c716e3c028ffe2fbb45836164a9 100644 (file)
--- a/mono/metadata/verify.c
+++ b/mono/metadata/verify.c
@@ -6213,6 +6213,9 @@ verify_generic_parameters (MonoClass *class)
                        MonoClass *ctr = *constraints;
                        MonoType *constraint_type = &ctr->byval_arg;
 
+                       if (!mono_class_can_access_class (class, ctr))
+                               goto fail;
+
                        if (!mono_type_is_valid_type_in_context (constraint_type, &gc->context))
                                goto fail;