[Mono-bugs] [Bug 80534][Wis] Changed - [GMCS] Inference of generic parameters fails

[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 dmitchell at logos.com.

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

--- shadow/80534	2007-01-16 18:57:23.000000000 -0500
+++ shadow/80534.tmp.5171	2007-01-23 20:40:13.000000000 -0500
@@ -1,14 +1,14 @@
 Bug#: 80534
 Product: Mono: Compilers
 Version: 1.2
-OS: 
+OS: unknown
 OS Details: Also confirmed on Mac OS X
 Status: NEW   
 Resolution: 
-Severity: 
+Severity: Unknown
 Priority: Wishlist
 Component: C#
 AssignedTo: rharinath at novell.com                            
 ReportedBy: dmitchell at logos.com               
 QAContact: mono-bugs at ximian.com
 TargetMilestone: ---
@@ -41,6 +41,19 @@
 Always
 
 ------- Additional Comments From dmitchell at logos.com  2007-01-16 18:57 -------
 Created an attachment (id=18504)
 This source file will trigger the described bug
 
+
+------- Additional Comments From dmitchell at logos.com  2007-01-23 20:40 -------
+The problem seems to be in the file mcs/gmcs/generic.cs in the function static bool 
+InferTypeArguments (Type[] param_types, Type[] arg_types, Type[] infered_types).
+
+This function calls InferType for each parameter on the method, and if the call fails--for any 
+reason--the call to InferTypeArguments will fail.
+
+The problem with this is that InferType will fail if it unable to infer all of the generic 
+parameters, even if subsequent method parameters might be able to correctly infer some of 
+the missing parameters.
+
+I hope to have a patch soon.