[Mono-bugs] [Bug 319585] [GMCS] CS0508 not reported for generic property override causing looped unification

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Thu May 1 00:11:40 EDT 2008


User harinath at hurrynot.org added comment

Raja Harinath <harinath at hurrynot.org> changed:

           What    |Removed                                         |Added
                 CC|                                                |harinath at hurrynot.org

--- Comment #3 from Raja Harinath <harinath at hurrynot.org>  2008-04-30 22:11:39 MST ---
> I think we have to ensure that
> (1) a type name is not injected into its contained declaration space
> (2) a name lookup first travels the inheritance hierarchy before
> looking at any enclosing declaration spaces
> Together, this would match the behaviour you see.  I'm fairly sure
> that (2) is implemented.  So, I'll have to track down where it's not
> satisfying (1).

Hmm, my two conditions above hide the subtle assumption that the name lookup
inflates the result of the lookup, which we probably don't.  So, (2) is not
correctly implemented.

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