[Mono-bugs] [Bug 75330][Blo] New - [GMCS] assert in metadata

[bugzilla-daemon at bugzilla.ximian.com]

Please do not reply to this email- if you want to comment on the bug, go to the
URL shown below and enter your comments there.

Changed by malekith at pld-linux.org.

http://bugzilla.ximian.com/show_bug.cgi?id=75330

--- shadow/75330	2005-06-20 15:44:58.000000000 -0400
+++ shadow/75330.tmp.18625	2005-06-20 15:44:58.000000000 -0400
@@ -0,0 +1,73 @@
+Bug#: 75330
+Product: Mono: Runtime
+Version: 1.1
+OS: 
+OS Details: 
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Blocker
+Component: io-layer
+AssignedTo: mono-bugs at ximian.com                            
+ReportedBy: malekith at pld-linux.org               
+QAContact: mono-bugs at ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: [GMCS] assert in metadata
+
+Description of Problem:
+
+Please compile and try to run the following code:
+
+------------------------------
+class lis<a> {}
+
+abstract class fn <a,b,r> {
+  public abstract r apply (a x,b y);
+}
+
+class fn1<a> : fn <lis<a>,lis<a>,lis<a>>
+{
+  public override lis<a> apply (lis<a> x,lis<a> y)
+  {
+    return M.RevAppend (x,y);
+  }
+}
+
+class M {
+    public static b FoldLeft<a, b> (a x, b acc, fn<a, b, b> f)
+    {
+        return f.apply (x, acc);
+    }
+
+    public static lis<a> RevAppend<a> (lis <a> x , lis <a> y)  {
+      return x;
+    }
+
+    public static lis <lis <a>> Concat<a> (lis <lis <a>> l)
+    {
+      return FoldLeft<lis<lis<a>>, lis<lis<a>>> (l, new lis<lis<a>> (), new
+fn1<lis<a>> ());
+    }
+
+        public static void Main ()
+        {
+          M.Concat (new lis<lis<string>> ());
+        }
+}
+-------------------
+
+Actual Results:
+** ERROR **: file metadata.c: line 1807
+(mono_metadata_parse_generic_param): assertion failed: (generic_container
+&& !generic_container->is_method)
+aborting...
+zsh: 5535 abort      ~/mono-svn/bin/mono ./foo.exe
+
+Expected Results:
+clear run.
+
+
+Additional Information:
+mono SVN trunk.