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

[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 rharinath at novell.com.

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

--- shadow/76762	2005-11-23 17:06:20.000000000 -0500
+++ shadow/76762.tmp.7382	2005-12-17 02:33:33.000000000 -0500
@@ -45,6 +45,19 @@
 error No Main
 
 Expected Results:
 t.cs(7,26): error CS0508: 'A<T>.B.getT()': return type must be 'A<T>.B' to
 match overridden member 'A<A<T>.B>.getT()'
 t.cs(3,22): (Location of symbol related to previous error)
+
+------- Additional Comments From rharinath at novell.com  2005-12-17 02:33 -------
+Hmm, I'm not sure I follow.  I think these hold:
+
+(a) A<T>.getT() has a return type T (from the text)
+(a') A<A<T>.B>.getT() has return type A<T>.B (subtitution T -> A<T>.B)
+(b) A<T>.B.getT() overrides A<A<T>.B>.getT() (base type of A<T>.B)
+(c) A<T>.B.getT() has return type A<T>.B (from the text)
+
+So, they should unify fine?
+
+IIUC, you disagree with (a').  Also, IIUC, the CSC error message is
+saying (c) doesn't hold.