[Mono-bugs] [Bug 75429][Wis] New - [GMCS] "Missing method" for where-constraints

[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=75429

--- shadow/75429	2005-06-30 14:21:35.000000000 -0400
+++ shadow/75429.tmp.28312	2005-06-30 14:21:35.000000000 -0400
@@ -0,0 +1,58 @@
+Bug#: 75429
+Product: Mono: Runtime
+Version: 1.1
+OS: 
+OS Details: amd64 pld linux
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Wishlist
+Component: misc
+AssignedTo: mono-bugs at ximian.com                            
+ReportedBy: malekith at pld-linux.org               
+QAContact: mono-bugs at ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: [GMCS] "Missing method" for where-constraints
+
+The following program when compiled with gmcs and run with mono svn
+produces:
+
+
+** (foo.exe:4495): WARNING **: Missing method GetId in assembly
+/home/users/malekith/nemerle/ncc/testsuite/foo.exe token 6000001
+
+Unhandled Exception: System.NullReferenceException: Object reference not
+set to an instance of an object
+in <0x00000> <unknown method>
+in <0x00027> X:Main ()
+in <0x00026> X:Main ()
+
+while it should run OK.
+
+---------------------------
+interface IMember {
+  int GetId ();
+}
+
+interface IMethod : IMember { }
+
+class C1 : IMethod
+{
+  public int GetId () { return 42; }
+}
+
+class X {
+    static void foo<a> (a e )
+      where a : IMember
+    {
+      e.GetId ();
+    }
+
+  public static void Main ()
+  {
+    foo<IMethod> (new C1 ());
+  }
+}
+--------------------------------