[Mono-bugs] [Bug 665161] Spurious ConsiderAddingInterfaceRule / No Source Lines

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Fri Jan 21 10:33:51 EST 2011



--- Comment #6 from Ethan Brown <ethan_j_brown at hotmail.com> 2011-01-21 15:33:51 UTC ---
Yeah, comparing interfaces to each other can get really complicated when you're
dealing with generics, considering you basically have to do the same thing as
the compiler with respect to:

-enforcing constraints
-variance rules
-handling polymorphism

And then of course you have to be able to recurse / handle generics nested
within the generic signature. 

Alas, the framework doesn't provide an easy way to ask if one generic interface
can be substituted for another -- that's left as an exercise for the reader

I've actually worked recently on a bit of similar code that uses reflection to
find extension methods for a given type.  Haven't finished it for the same
reasons -- it's complicated ;0  It works in the simpler cases, but it falls
down in more complex generic scenarios.

So I totally understand why this won't make it into 2.10.

Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
You are the assignee for the bug.

More information about the mono-bugs mailing list