From faa92da1868a955b4fd1774f8ae6a8b4062557eb Mon Sep 17 00:00:00 2001 From: Rodrigo Kumpera Date: Sat, 27 Apr 2013 16:25:07 -0400 Subject: [PATCH] [verifier]A type constraint must be visible to the generic type definition. Fixes #11263. --- mono/metadata/verify.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/mono/metadata/verify.c b/mono/metadata/verify.c index f32d60b9935..f1f9a1f4a73 100644 --- 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; -- 2.11.4.GIT