Check inaccessible type arguments

diff --git a/mcs/mcs/ecore.cs b/mcs/mcs/ecore.cs
index 76db0ba722937f613f7c18bb47f818e7f3443249..cddac71e395b369d9bc3eed5612c7c3745fb52d6 100644 (file)
--- a/mcs/mcs/ecore.cs
+++ b/mcs/mcs/ecore.cs
@@ -4235,6 +4235,20 @@ namespace Mono.CSharp {
                                Expression.UnsafeError (ec, loc);
                        }
 
+                       //
+                       // We could infer inaccesible type arguments
+                       //
+                       if (type_arguments == null && member.IsGeneric) {
+                               var ms = (MethodSpec) member;
+                               foreach (var ta in ms.TypeArguments) {
+                                       if (!ta.IsAccessible (ec.CurrentType)) {
+                                               ec.Report.SymbolRelatedToPreviousError (ta);
+                                               Expression.ErrorIsInaccesible (ec, member.GetSignatureForError (), loc);
+                                               break;
+                                       }
+                               }
+                       }
+
                        return true;
                }
        }