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

[bugzilla_noreply at novell.com]

https://bugzilla.novell.com/show_bug.cgi?id=319585

User harinath at hurrynot.org added comment
https://bugzilla.novell.com/show_bug.cgi?id=319585#c3


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.