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

bugzilla-daemon at bugzilla.ximian.com bugzilla-daemon at bugzilla.ximian.com
Tue Jan 23 20:40:13 EST 2007

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.


--- 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: unknown
 OS Details: Also confirmed on Mac OS X
 Status: NEW   
+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 @@
 ------- 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.

More information about the mono-bugs mailing list